Pasqualina Conti

According to our database, Pasqualina Conti authored at least 8 papers between 1990 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Approximate Rings and Gröbner Bases.

Pasqualina Conti, Carlo Traverso

Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2000

Algebraic and Semialgebraic Proofs: Methods and Paradoxes.

Pasqualina Conti, Carlo Traverso

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1997

Yet Another Ideal Decomposition Algorithm.

Massimo Caboara, Pasqualina Conti, Carlo Traverso

Proceedings of the Applied Algebra, 1997

1995

A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 8₃Theorem.

Pasqualina Conti, Carlo Traverso

Proceedings of the Applied Algebra, 1995

1993

A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals.

Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso

Proceedings of the Applied Algebra, 1993

1991

Computing the conductor of an integral extension.

Pasqualina Conti, Carlo Traverso

Discret. Appl. Math., 1991

Buchberger Algorithm and Integer Programming.

Pasqualina Conti, Carlo Traverso

Proceedings of the Applied Algebra, 1991

1990

Hermite canonical form and Smith canonical form of a matrix over a principal ideal domain.

Pasqualina Conti

SIGSAM Bull., 1990