Giuseppa Carrà Ferro

2003
12	EE	Giuseppa Carrà Ferro, Vladimir P. Gerdt: Improved Kolchin-Ritt Algorithm. Programming and Computer Software 29(2): 83-87 (2003)
1997
11		Giuseppa Carrà Ferro: A Resultant Theory for Ordinary Algebraic Differential Equations. AAECC 1997: 55-65
10	EE	Giuseppa Carrà Ferro: A Resultant Theory for the Systems of Two Ordinary Algebraic Differential Equations. Appl. Algebra Eng. Commun. Comput. 8(6): 539-560 (1997)
1996
9		Giuseppa Carrà Ferro, Giovanni Gallo, Rosario Gennaro: Probabilistic Verification of Elementary Geometry Statements. Automated Deduction in Geometry 1996: 87-101
1995
8		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): 47-72 (1995)
1994
7		Giuseppa Carrà Ferro: An Extension of a Procedure to Prove Statements in Differential Geometry. J. Autom. Reasoning 12(3): 351-358 (1994)
1990
6		Giuseppa Carrà Ferro, Giovanni Gallo: A Procedure to Prove Statements in Differential Geometry. J. Autom. Reasoning 6(2): 203-209 (1990)
1988
5		Giuseppa Carrà Ferro: Some Remarks on the Differential Dimension. AAECC 1988: 152-163
4		Giuseppa Carrà Ferro: Gröbner Bases and Hilbert Schemes. I. J. Symb. Comput. 6(2/3): 219-230 (1988)
1987
3		Giuseppa Carrà Ferro: Groebner Bases and Differential Algebra. AAECC 1987: 129-140
2		Giuseppa Carrà Ferro, Giovanni Gallo: A Procedure to Prove Geometrical Statements. AAECC 1987: 141-150
1985
1		Giuseppa Carrà Ferro: Some Upper Bounds for the Multiplicity of an Autoreduced Subset of Nm and their Applications. AAECC 1985: 306-315

Coauthor Index

1	Maria Alberta Alberti	[8]
2	Giovanni Gallo	[2] [6] [9]
3	Rosario Gennaro	[9]
4	Vladimir P. Gerdt	[12]
5	B. Lammoglia	[8]
6	Mauro Torelli	[8]

Colors in the list of coauthors