Carlo Traverso

According to our database, Carlo Traverso authored at least 28 papers between 1987 and 2011.

Collaborative distances:

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

2011

Lattice Polly Cracker cryptosystems.

Massimo Caboara, Fabrizio Caruso, Carlo Traverso

J. Symb. Comput., 2011

2009

A Survey on Polly Cracker Systems.

Françoise Levy-dit-Vehel, Maria Grazia Marinari, Ludovic Perret, Carlo Traverso

Proceedings of the Gröbner Bases, Coding, and Cryptography, 2009

2008

Gröbner bases for public key cryptography.

Massimo Caboara, Fabrizio Caruso, Carlo Traverso

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2005

Hilbert Stratification and Parametric Gröbner Bases.

Laureano González-Vega, Carlo Traverso, Alberto Zanoni

Proceedings of the Computer Algebra in Scientific Computing, 8th International Workshop, 2005

Approximate Rings and Gröbner Bases.

Pasqualina Conti, Carlo Traverso

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

2003

Algorithms to compute the topology of orientable real algebraic surfaces.

Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso

J. Symb. Comput., 2003

2002

Numerical stability and stabilization of Groebner basis computation.

Carlo Traverso, Alberto Zanoni

Proceedings of the Symbolic and Algebraic Computation, 2002

Computing the topology of real algebraic surfaces.

Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso

Proceedings of the Symbolic and Algebraic Computation, 2002

2000

Gröbner bases specialization through Hilbert functions: the homogeneous case.

María José González-López, Laureano González-Vega, Carlo Traverso, Alberto Zanoni

SIGSAM Bull., 2000

Algebraic and Semialgebraic Proofs: Methods and Paradoxes.

Pasqualina Conti, Carlo Traverso

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

1998

Efficient Algorithms for Ideal Operations (extended abstract).

Massimo Caboara, Carlo Traverso

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998

1997

Yet Another Ideal Decomposition Algorithm.

Massimo Caboara, Pasqualina Conti, Carlo Traverso

Proceedings of the Applied Algebra, 1997

1996

Hilbert Functions and the Buchberger Algorithm.

Carlo Traverso

J. Symb. Comput., 1996

Strategy-Accurate Parallel Buchberger Algorithms.

Giuseppe Attardi, Carlo Traverso

J. Symb. Comput., 1996

1995

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

Pasqualina Conti, Carlo Traverso

Proceedings of the Applied Algebra, 1995

1994

A Strategy-Accurate Parallel Buchberger Algorithm.

Giuseppe Attardi, Carlo Traverso

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

The Shape of the Shape Lemma.

Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 1994

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

1992

Gröbner Bases Computation Using Syzygies.

H. Michael Möller, Teo Mora, Carlo Traverso

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1991

Computing the conductor of an integral extension.

Pasqualina Conti, Carlo Traverso

Discret. Appl. Math., 1991

"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm.

Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso

Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991

Buchberger Algorithm and Integer Programming.

Pasqualina Conti, Carlo Traverso

Proceedings of the Applied Algebra, 1991

Algorithms for the Shape of Semialgebraic Sets. A New Approach.

Paola Cellini, Patrizia M. Gianni, Carlo Traverso

Proceedings of the Applied Algebra, 1991

1989

Experimenting the Gröbner Basis Algorithm with the A1P<i>I</i> System.

Carlo Traverso, L. Donati

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

Practical Determination of the Dimension of an Algebraic Variety.

André Galligo, Carlo Traverso

Proceedings of the Computers and Mathematics, 1989

1988

Gröbner Trace Algorithms.

Carlo Traverso

Proceedings of the Symbolic and Algebraic Computation, 1988

Greater Easy Common Divisor and Standard Basis Completion Algorithms.

André Galligo, Loic Pottier, Carlo Traverso

Proceedings of the Symbolic and Algebraic Computation, 1988

1987

Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields.

Roberto Dvornicich, Carlo Traverso

Proceedings of the Applied Algebra, 1987