Some Upper Bounds for the Multiplicity of an Autoreduced Subset of Nm and their Applications. - Giuseppa Carrà Ferro (AAECC, 1985)

Groebner Bases and Differential Algebra. - Giuseppa Carrà Ferro (AAECC, 1987)

A Procedure to Prove Geometrical Statements. - Giuseppa Carrà Ferro; Giovanni Gallo (AAECC, 1987)

Some Remarks on the Differential Dimension. - Giuseppa Carrà Ferro (AAECC, 1988)

Gröbner Bases and Hilbert Schemes. I. - Giuseppa Carrà Ferro (J. Symb. Comput., 1988)

A Procedure to Prove Statements in Differential Geometry. - Giuseppa Carrà Ferro; Giovanni Gallo (J. Autom. Reason., 1990)

An Extension of a Procedure to Prove Statements in Differential Geometry. - Giuseppa Carrà Ferro (J. Autom. Reason., 1994)

The Dimension Method in Elementary and Differential Geometry. - Maria Alberta Alberti; Giuseppa Carrà Ferro; B. Lammoglia; Mauro Torelli (Ann. Math. Artif. Intell., 1995)

Probabilistic Verification of Elementary Geometry Statements. - Giuseppa Carrà Ferro; Giovanni Gallo; Rosario Gennaro (Automated Deduction in Geometry, 1996)

A Resultant Theory for Ordinary Algebraic Differential Equations. - Giuseppa Carrà Ferro (AAECC, 1997)

A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations. - Giuseppa Carrà Ferro (Appl. Algebra Eng. Commun. Comput., 1997)

Neighborhoods of an Ordinary Linear Differential Equation. - Giuseppa Carrà Ferro; Valentina Marotta (CASC, 2001)

Improved Kolchin-Ritt Algorithm. - Giuseppa Carrà Ferro; Vladimir P. Gerdt (Program. Comput. Softw., 2003)