dblp.uni-trier.dewww.uni-trier.de

Giuseppa Carrà Ferro Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2003
12EEGiuseppa Carrà Ferro, Vladimir P. Gerdt: Improved Kolchin-Ritt Algorithm. Programming and Computer Software 29(2): 83-87 (2003)
1997
11EEGiuseppa Carrà Ferro: A Resultant Theory for Ordinary Algebraic Differential Equations. AAECC 1997: 55-65
10EEGiuseppa 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
5EEGiuseppa 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
1EEGiuseppa Carrà Ferro: Some Upper Bounds for the Multiplicity of an Autoreduced Subset of Nm and their Applications. AAECC 1985: 306-315

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)