| 2005 |
|---|
| 20 | EE | Laureano González-Vega,
Carlo Traverso,
Alberto Zanoni:
Hilbert Stratification and Parametric Gröbner Bases.
CASC 2005: 220-235 |
| 2003 |
|---|
| 19 | EE | Elisabetta Fortuna,
Patrizia M. Gianni,
Paola Parenti,
Carlo Traverso:
Algorithms to compute the topology of orientable real algebraic surfaces.
J. Symb. Comput. 36(3-4): 343-364 (2003) |
| 2002 |
|---|
| 18 | EE | Carlo Traverso,
Alberto Zanoni:
Numerical stability and stabilization of Groebner basis computation.
ISSAC 2002: 262-269 |
| 17 | EE | Elisabetta Fortuna,
Patrizia M. Gianni,
Paola Parenti,
Carlo Traverso:
Computing the topology of real algebraic surfaces.
ISSAC 2002: 92-100 |
| 2000 |
|---|
| 16 | EE | Pasqualina Conti,
Carlo Traverso:
Algebraic and Semialgebraic Proofs: Methods and Paradoxes.
Automated Deduction in Geometry 2000: 83-103 |
| 1998 |
|---|
| 15 | EE | Massimo Caboara,
Carlo Traverso:
Efficient Algorithms for Ideal Operations (extended abstract).
ISSAC 1998: 147-152 |
| 1997 |
|---|
| 14 | | Massimo Caboara,
Pasqualina Conti,
Carlo Traverso:
Yet Another Ideal Decomposition Algorithm.
AAECC 1997: 39-54 |
| 1996 |
|---|
| 13 | | Giuseppe Attardi,
Carlo Traverso:
Strategy-Accurate Parallel Buchberger Algorithms.
J. Symb. Comput. 21(4): 411-425 (1996) |
| 12 | | Carlo Traverso:
Hilbert Functions and the Buchberger Algorithm.
J. Symb. Comput. 22(4): 355-376 (1996) |
| 1995 |
|---|
| 11 | | Pasqualina Conti,
Carlo Traverso:
A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem.
AAECC 1995: 183-193 |
| 1994 |
|---|
| 10 | EE | Eberhard Becker,
Teo Mora,
Maria Grazia Marinari,
Carlo Traverso:
The Shape of the Shape Lemma.
ISSAC 1994: 129-133 |
| 1993 |
|---|
| 9 | | Anna Maria Bigatti,
Pasqualina Conti,
Lorenzo Robbiano,
Carlo Traverso:
A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals.
AAECC 1993: 76-88 |
| 1992 |
|---|
| 8 | EE | H. Michael Möller,
Teo Mora,
Carlo Traverso:
Gröbner Bases Computation Using Syzygies.
ISSAC 1992: 320-328 |
| 1991 |
|---|
| 7 | | Paola Cellini,
Patrizia M. Gianni,
Carlo Traverso:
Algorithms for the Shape of Semialgebraic Sets. A New Approach.
AAECC 1991: 1-18 |
| 6 | | Pasqualina Conti,
Carlo Traverso:
Buchberger Algorithm and Integer Programming.
AAECC 1991: 130-139 |
| 5 | EE | Alessandro Giovini,
Teo Mora,
Gianfranco Niesi,
Lorenzo Robbiano,
Carlo Traverso:
``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm.
ISSAC 1991: 49-54 |
| 1989 |
|---|
| 4 | EE | Carlo Traverso,
L. Donati:
Experimenting the Gröbner Basis Algorithm with the A1PI System.
ISSAC 1989: 192-198 |
| 1988 |
|---|
| 3 | | Carlo Traverso:
Gröbner Trace Algorithms.
ISSAC 1988: 125-138 |
| 2 | | André Galligo,
Loic Pottier,
Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms.
ISSAC 1988: 162-176 |
| 1987 |
|---|
| 1 | | Roberto Dvornicich,
Carlo Traverso:
Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields.
AAECC 1987: 216-224 |
