Who is who (and what he/she is doing)

Alfonso Miola, Universita Roma tre

Abstract:

In this talk a brief description of the group active on symbolic computation (SC) in Roma is given. In particular some major research subareas are presented, namely languages and programming methodology for SC, automated reasoning methods and their integration into SC systems, abstract specification of mathematical structures and methods.