Alfonso Miola

Advances in the Design of Symbolic Computation Systems

Design and Implementation of Symbolic Computation Systems

Computing Tools for Scientific Problem Solving