Giuseppa Carrà Ferro

According to our database, Giuseppa Carrà Ferro authored at least 13 papers between 1985 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

Improved Kolchin-Ritt Algorithm.

Giuseppa Carrà Ferro, Vladimir P. Gerdt

Program. Comput. Softw., 2003

2001

Neighborhoods of an Ordinary Linear Differential Equation.

Giuseppa Carrà Ferro, Valentina Marotta

Proceedings of the Computer Algebra in Scientific Computing, 2001

1997

A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations.

Giuseppa Carrà Ferro

Appl. Algebra Eng. Commun. Comput., 1997

A Resultant Theory for Ordinary Algebraic Differential Equations.

Giuseppa Carrà Ferro

Proceedings of the Applied Algebra, 1997

1996

Probabilistic Verification of Elementary Geometry Statements.

Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro

Proceedings of the Automated Deduction in Geometry, 1996

1995

The Dimension Method in Elementary and Differential Geometry.

Maria Alberta Alberti, Giuseppa Carrà Ferro, B. Lammoglia, Mauro Torelli

Ann. Math. Artif. Intell., 1995

1994

An Extension of a Procedure to Prove Statements in Differential Geometry.

Giuseppa Carrà Ferro

J. Autom. Reason., 1994

1990

A Procedure to Prove Statements in Differential Geometry.

Giuseppa Carrà Ferro, Giovanni Gallo

J. Autom. Reason., 1990

1988

Gröbner Bases and Hilbert Schemes. I.

Giuseppa Carrà Ferro

J. Symb. Comput., 1988

Some Remarks on the Differential Dimension.

Giuseppa Carrà Ferro

Proceedings of the Applied Algebra, 1988

1987

A Procedure to Prove Geometrical Statements.

Giuseppa Carrà Ferro, Giovanni Gallo

Proceedings of the Applied Algebra, 1987

Groebner Bases and Differential Algebra.

Giuseppa Carrà Ferro

Proceedings of the Applied Algebra, 1987

1985

Some Upper Bounds for the Multiplicity of an Autoreduced Subset of N^m and their Applications.

Giuseppa Carrà Ferro

Proceedings of the Algebraic Algorithms and Error-Correcting Codes, 1985