Pasqualina Conti

Publication Activity (10 Years)

Years Active: 1990-2005
Publications (10 Years): 0

Publications

Pasqualina Conti, Carlo Traverso
Approximate Rings and Gröbner Bases. Algorithmic Algebra and Logic (2005)
Pasqualina Conti, Carlo Traverso
Algebraic and Semialgebraic Proofs: Methods and Paradoxes. Automated Deduction in Geometry (2000)
Massimo Caboara, Pasqualina Conti, Carlo Traverso
Yet Another Ideal Decomposition Algorithm. AAECC (1997)
Pasqualina Conti, Carlo Traverso
Theorem. AAECC (1995)
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)
Pasqualina Conti, Carlo Traverso
Buchberger Algorithm and Integer Programming. AAECC (1991)
Pasqualina Conti, Carlo Traverso
Computing the conductor of an integral extension. Discret. Appl. Math. 33 (1-3) (1991)
Pasqualina Conti
Hermite canonical form and Smith canonical form of a matrix over a principal ideal domain. SIGSAM Bull. 24 (3) (1990)