Carlo Traverso

Publication Activity (10 Years)

Years Active: 1987-2011
Publications (10 Years): 0

Publications

Massimo Caboara, Fabrizio Caruso, Carlo Traverso
Lattice Polly Cracker cryptosystems. J. Symb. Comput. 46 (5) (2011)
Massimo Caboara, Fabrizio Caruso, Carlo Traverso
Gröbner bases for public key cryptography. ISSAC (2008)
Laureano González-Vega, Carlo Traverso, Alberto Zanoni
Hilbert Stratification and Parametric Gröbner Bases. CASC (2005)
Pasqualina Conti, Carlo Traverso
Approximate Rings and Gröbner Bases. Algorithmic Algebra and Logic (2005)
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) (2003)
Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso
Computing the topology of real algebraic surfaces. ISSAC (2002)
Carlo Traverso, Alberto Zanoni
Numerical stability and stabilization of Groebner basis computation. ISSAC (2002)
Pasqualina Conti, Carlo Traverso
Algebraic and Semialgebraic Proofs: Methods and Paradoxes. Automated Deduction in Geometry (2000)
María José González-López, Laureano González-Vega, Carlo Traverso, Alberto Zanoni
Gröbner bases specialization through Hilbert functions: the homogeneous case. SIGSAM Bull. 34 (1) (2000)
Massimo Caboara, Carlo Traverso
Efficient Algorithms for Ideal Operations (extended abstract). ISSAC (1998)
Massimo Caboara, Pasqualina Conti, Carlo Traverso
Yet Another Ideal Decomposition Algorithm. AAECC (1997)
Carlo Traverso
Hilbert Functions and the Buchberger Algorithm. J. Symb. Comput. 22 (4) (1996)
Giuseppe Attardi, Carlo Traverso
Strategy-Accurate Parallel Buchberger Algorithms. J. Symb. Comput. 21 (4) (1996)
Pasqualina Conti, Carlo Traverso
Theorem. AAECC (1995)
Giuseppe Attardi, Carlo Traverso
A Strategy-Accurate Parallel Buchberger Algorithm. PASCO (1994)
Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso
The Shape of the Shape Lemma. ISSAC (1994)
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)
H. Michael Möller, Teo Mora, Carlo Traverso
Gröbner Bases Computation Using Syzygies. ISSAC (1992)
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)
Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. ISSAC (1991)
Paola Cellini, Patrizia M. Gianni, Carlo Traverso
Algorithms for the Shape of Semialgebraic Sets. A New Approach. AAECC (1991)
Carlo Traverso, L. Donati
System. ISSAC (1989)
André Galligo, Carlo Traverso
Practical Determination of the Dimension of an Algebraic Variety. Computers and Mathematics (1989)
Carlo Traverso
Gröbner Trace Algorithms. ISSAC (1988)
André Galligo, Loic Pottier, Carlo Traverso
Greater Easy Common Divisor and Standard Basis Completion Algorithms. ISSAC (1988)
Roberto Dvornicich, Carlo Traverso
Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields. AAECC (1987)