| 2000 | ||
|---|---|---|
| 5 | EE | Pasqualina Conti, Carlo Traverso: Algebraic and Semialgebraic Proofs: Methods and Paradoxes. Automated Deduction in Geometry 2000: 83-103 |
| 1997 | ||
| 4 | Massimo Caboara, Pasqualina Conti, Carlo Traverso: Yet Another Ideal Decomposition Algorithm. AAECC 1997: 39-54 | |
| 1995 | ||
| 3 | Pasqualina Conti, Carlo Traverso: A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem. AAECC 1995: 183-193 | |
| 1993 | ||
| 2 | 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 | |
| 1991 | ||
| 1 | Pasqualina Conti, Carlo Traverso: Buchberger Algorithm and Integer Programming. AAECC 1991: 130-139 | |
| 1 | Anna Maria Bigatti | [2] |
| 2 | Massimo Caboara | [4] |
| 3 | Lorenzo Robbiano | [2] |
| 4 | Carlo Traverso | [1] [2] [3] [4] [5] |