Giuseppa Carrà Ferro

Publication Activity (10 Years)

Years Active: 1985-2003
Publications (10 Years): 0

Publications

Giuseppa Carrà Ferro, Vladimir P. Gerdt
Improved Kolchin-Ritt Algorithm. Program. Comput. Softw. 29 (2) (2003)
Giuseppa Carrà Ferro, Valentina Marotta
Neighborhoods of an Ordinary Linear Differential Equation. CASC (2001)
Giuseppa Carrà Ferro
A Resultant Theory for Ordinary Algebraic Differential Equations. AAECC (1997)
Giuseppa Carrà Ferro
A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations. Appl. Algebra Eng. Commun. Comput. 8 (6) (1997)
Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro
Probabilistic Verification of Elementary Geometry Statements. Automated Deduction in Geometry (1996)
Maria Alberta Alberti, Giuseppa Carrà Ferro, B. Lammoglia, Mauro Torelli
The Dimension Method in Elementary and Differential Geometry. Ann. Math. Artif. Intell. 13 (1-2) (1995)
Giuseppa Carrà Ferro
An Extension of a Procedure to Prove Statements in Differential Geometry. J. Autom. Reason. 12 (3) (1994)
Giuseppa Carrà Ferro, Giovanni Gallo
A Procedure to Prove Statements in Differential Geometry. J. Autom. Reason. 6 (2) (1990)
Giuseppa Carrà Ferro
Some Remarks on the Differential Dimension. AAECC (1988)
Giuseppa Carrà Ferro
Gröbner Bases and Hilbert Schemes. I. J. Symb. Comput. 6 (2/3) (1988)
Giuseppa Carrà Ferro, Giovanni Gallo
A Procedure to Prove Geometrical Statements. AAECC (1987)
Giuseppa Carrà Ferro
Groebner Bases and Differential Algebra. AAECC (1987)
Giuseppa Carrà Ferro
and their Applications. AAECC (1985)