Carlo Traverso

30 papers B 12Journal 6Unranked 10
YearRankTypeTitle / Venue / Authors
2011 J jnl
Lattice Polly Cracker cryptosystems.
J. Symb. Comput.
Massimo Caboara, Fabrizio Caruso, Carlo Traverso
2009 — ch.
A Survey on Polly Cracker Systems.
Gröbner Bases, Coding, and Cryptography
Françoise Levy-dit-Vehel, Maria Grazia Marinari, Ludovic Perret, Carlo Traverso
2009 — book
Gröbner Bases, Coding, and Cryptography
Massimiliano Sala, Shojiro Sakata, Teo Mora, Carlo Traverso, Ludovic Perret
2008 B conf
Gröbner bases for public key cryptography.
ISSAC
Massimo Caboara, Fabrizio Caruso, Carlo Traverso
2005 — conf
Approximate Rings and Gröbner Bases.
Algorithmic Algebra and Logic
Pasqualina Conti, Carlo Traverso
2005 B conf
Hilbert Stratification and Parametric Gröbner Bases.
CASC
Laureano González-Vega, Carlo Traverso, Alberto Zanoni
2003 J jnl
Algorithms to compute the topology of orientable real algebraic surfaces.
J. Symb. Comput.
Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso
2002 B conf
Computing the topology of real algebraic surfaces.
ISSAC
Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso
2002 B conf
Numerical stability and stabilization of Groebner basis computation.
ISSAC
Carlo Traverso, Alberto Zanoni
2000 — conf
Algebraic and Semialgebraic Proofs: Methods and Paradoxes.
Automated Deduction in Geometry
Pasqualina Conti, Carlo Traverso
2000 J jnl
Gröbner bases specialization through Hilbert functions: the homogeneous case.
SIGSAM Bull.
María José González-López, Laureano González-Vega, Carlo Traverso, Alberto Zanoni
2000 B ed.
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000
ISSAC
Carlo Traverso
1998 B conf
Efficient Algorithms for Ideal Operations (extended abstract).
ISSAC
Massimo Caboara, Carlo Traverso
1997 — conf
Yet Another Ideal Decomposition Algorithm.
AAECC
Massimo Caboara, Pasqualina Conti, Carlo Traverso
1996 J jnl
Hilbert Functions and the Buchberger Algorithm.
J. Symb. Comput.
Carlo Traverso
1996 J jnl
Strategy-Accurate Parallel Buchberger Algorithms.
J. Symb. Comput.
Giuseppe Attardi, Carlo Traverso
1995 — conf
A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 8
AAECC
Pasqualina Conti, Carlo Traverso
1994 — conf
A Strategy-Accurate Parallel Buchberger Algorithm.
PASCO
Giuseppe Attardi, Carlo Traverso
1994 B conf
The Shape of the Shape Lemma.
ISSAC
Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso
1993 — conf
A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals.
AAECC
Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso
1992 B conf
Gröbner Bases Computation Using Syzygies.
ISSAC
H. Michael Möller, Teo Mora, Carlo Traverso
1991 B conf
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm.
ISSAC
Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
1991 — conf
Algorithms for the Shape of Semialgebraic Sets. A New Approach.
AAECC
Paola Cellini, Patrizia M. Gianni, Carlo Traverso
1991 — conf
Buchberger Algorithm and Integer Programming.
AAECC
Pasqualina Conti, Carlo Traverso
1991 J jnl
Computing the conductor of an integral extension.
Discret. Appl. Math.
Pasqualina Conti, Carlo Traverso
1989 B conf
Experimenting the Gröbner Basis Algorithm with the A1P
ISSAC
Carlo Traverso, L. Donati
1989 — conf
Practical Determination of the Dimension of an Algebraic Variety.
Computers and Mathematics
André Galligo, Carlo Traverso
1988 B conf
Greater Easy Common Divisor and Standard Basis Completion Algorithms.
ISSAC
André Galligo, Loic Pottier, Carlo Traverso
1988 B conf
Gröbner Trace Algorithms.
ISSAC
Carlo Traverso
1987 — conf
Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields.
AAECC
Roberto Dvornicich, Carlo Traverso