Overview of the Research Teams

ROMA 3

General Information

• Organization: Dip. Inf. Univ. Roma 3

• Size of the team: 8

• Team's manager: Alfonso Miola

• Email of the Team's manager: miola@dis.uniroma1.it

Contact Address

• Contact Name: ROMA 3

• Name of the Department: Dipartimento di Matematica

• Name of the Organization: Universita' di Roma 3

• Street: Via Vasca Navale 84

• City: ROMA

• Postal Code: I-00146

• Email: miola@dis.uniroma1.it

• Phone: +39-06-55177067

• Fax: +39-06-55177066

Scientific Information

Subjects of Research

• Object oriented programming

• Theorem Proving

Applications of Computer Algebra

• Object oriented programming

• Theorem Proving

Mathematical subjects studied with Computer Algebra

• Object oriented programming

• Theorem Proving

Computer Algebra Sofwares used

• Axiom

• Derive

• Macsyma

• Maple

• Mathematica

• Reduce

Go to:
Research Teams in Italy