| 2000 |
|---|
| 6 | EE | Pasqualina Conti,
Carlo Traverso:
Algebraic and Semialgebraic Proofs: Methods and Paradoxes.
Automated Deduction in Geometry 2000: 83-103 |
| 1997 |
|---|
| 5 | | Massimo Caboara,
Pasqualina Conti,
Carlo Traverso:
Yet Another Ideal Decomposition Algorithm.
AAECC 1997: 39-54 |
| 1995 |
|---|
| 4 | | Pasqualina Conti,
Carlo Traverso:
A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem.
AAECC 1995: 183-193 |
| 1993 |
|---|
| 3 | | 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 |
|---|
| 2 | | Pasqualina Conti,
Carlo Traverso:
Buchberger Algorithm and Integer Programming.
AAECC 1991: 130-139 |
| 1 | EE | Pasqualina Conti,
Carlo Traverso:
Computing the conductor of an integral extension.
Discrete Applied Mathematics 33(1-3): 61-72 (1991) |
