Search the dblp DataBase

Publications of Author

1. Roberto Dvornicich, Carlo Traverso
   Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields. [Citation Graph (0, 0)][DBLP]
   AAECC, 1987, pp:216-224 [Conf]
   
2. Massimo Caboara, Pasqualina Conti, Carlo Traverso
   Yet Another Ideal Decomposition Algorithm. [Citation Graph (0, 0)][DBLP]
   AAECC, 1997, pp:39-54 [Conf]
   
3. Paola Cellini, Patrizia M. Gianni, Carlo Traverso
   Algorithms for the Shape of Semialgebraic Sets. A New Approach. [Citation Graph (0, 0)][DBLP]
   AAECC, 1991, pp:1-18 [Conf]
   
4. Anna Maria Bigatti, Pasqualina Conti, Lorenzo Robbiano, Carlo Traverso
   A "Divide and Conquer" Algorithm for Hilbert-Poincaré Series, Multiplicity and Dimension of Monomial Ideals. [Citation Graph (0, 0)][DBLP]
   AAECC, 1993, pp:76-88 [Conf]
   
5. Pasqualina Conti, Carlo Traverso
   Buchberger Algorithm and Integer Programming. [Citation Graph (0, 0)][DBLP]
   AAECC, 1991, pp:130-139 [Conf]
   
6. Pasqualina Conti, Carlo Traverso
   A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 8₃Theorem. [Citation Graph (0, 0)][DBLP]
   AAECC, 1995, pp:183-193 [Conf]
   
7. Pasqualina Conti, Carlo Traverso
   Algebraic and Semialgebraic Proofs: Methods and Paradoxes. [Citation Graph (0, 0)][DBLP]
   Automated Deduction in Geometry, 2000, pp:83-103 [Conf]
   
8. Laureano González-Vega, Carlo Traverso, Alberto Zanoni
   Hilbert Stratification and Parametric Gröbner Bases. [Citation Graph (0, 0)][DBLP]
   CASC, 2005, pp:220-235 [Conf]
   
9. Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso
   The Shape of the Shape Lemma. [Citation Graph (0, 0)][DBLP]
   ISSAC, 1994, pp:129-133 [Conf]
   
10. Massimo Caboara, Carlo Traverso
    Efficient Algorithms for Ideal Operations (extended abstract). [Citation Graph (0, 0)][DBLP]
    ISSAC, 1998, pp:147-152 [Conf]
    
11. Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso
    Computing the topology of real algebraic surfaces. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2002, pp:92-100 [Conf]
    
12. André Galligo, Loic Pottier, Carlo Traverso
    Greater Easy Common Divisor and Standard Basis Completion Algorithms. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:162-176 [Conf]
    
13. Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso
    ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:49-54 [Conf]
    
14. H. Michael Möller, Teo Mora, Carlo Traverso
    Gröbner Bases Computation Using Syzygies. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:320-328 [Conf]
    
15. Carlo Traverso
    Gröbner Trace Algorithms. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:125-138 [Conf]
    
16. Carlo Traverso, L. Donati
    Experimenting the Gröbner Basis Algorithm with the A1PI System. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1989, pp:192-198 [Conf]
    
17. Carlo Traverso, Alberto Zanoni
    Numerical stability and stabilization of Groebner basis computation. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2002, pp:262-269 [Conf]
    
18. Giuseppe Attardi, Carlo Traverso
    Strategy-Accurate Parallel Buchberger Algorithms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:411-425 [Journal]
    
19. Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso
    Algorithms to compute the topology of orientable real algebraic surfaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:3-4, pp:343-364 [Journal]
    
20. Carlo Traverso
    Hilbert Functions and the Buchberger Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:22, n:4, pp:355-376 [Journal]
    
21. 
    Gröbner bases for public key cryptography. [Citation Graph (, )][DBLP]
    
    
22. 
    Computing the conductor of an integral extension. [Citation Graph (, )][DBLP]