Giuseppa Carrà Ferro

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