![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Carlo Traverso
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
- [j6]Massimo Caboara, Fabrizio Caruso, Carlo Traverso:
Lattice Polly Cracker cryptosystems. J. Symb. Comput. 46(5): 534-549 (2011)
2000 – 2009
- 2009
- [p1]Françoise Levy-dit-Vehel, Maria Grazia Marinari, Ludovic Perret, Carlo Traverso:
A Survey on Polly Cracker Systems. Gröbner Bases, Coding, and Cryptography 2009: 285-305 - [e2]Massimiliano Sala
, Shojiro Sakata, Teo Mora, Carlo Traverso, Ludovic Perret:
Gröbner Bases, Coding, and Cryptography. Springer 2009, ISBN 978-3-540-93805-7 [contents] - 2008
- [c21]Massimo Caboara, Fabrizio Caruso, Carlo Traverso:
Gröbner bases for public key cryptography. ISSAC 2008: 315-324 - 2005
- [c20]Pasqualina Conti, Carlo Traverso:
Approximate Rings and Gröbner Bases. Algorithmic Algebra and Logic 2005: 65-70 - [c19]Laureano González-Vega
, Carlo Traverso, Alberto Zanoni:
Hilbert Stratification and Parametric Gröbner Bases. CASC 2005: 220-235 - 2003
- [j5]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): 343-364 (2003) - 2002
- [c18]Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti, Carlo Traverso:
Computing the topology of real algebraic surfaces. ISSAC 2002: 92-100 - [c17]Carlo Traverso, Alberto Zanoni:
Numerical stability and stabilization of Groebner basis computation. ISSAC 2002: 262-269 - 2000
- [j4]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): 1-8 (2000) - [c16]Pasqualina Conti, Carlo Traverso:
Algebraic and Semialgebraic Proofs: Methods and Paradoxes. Automated Deduction in Geometry 2000: 83-103 - [e1]Carlo Traverso:
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC 2000, St. Andrews, United Kingdom, August 6-10, 2000. ACM 2000, ISBN 1-58113-218-2 [contents]
1990 – 1999
- 1998
- [c15]Massimo Caboara, Carlo Traverso:
Efficient Algorithms for Ideal Operations (extended abstract). ISSAC 1998: 147-152 - 1997
- [c14]Massimo Caboara, Pasqualina Conti, Carlo Traverso:
Yet Another Ideal Decomposition Algorithm. AAECC 1997: 39-54 - 1996
- [j3]Giuseppe Attardi, Carlo Traverso:
Strategy-Accurate Parallel Buchberger Algorithms. J. Symb. Comput. 21(4): 411-425 (1996) - [j2]Carlo Traverso:
Hilbert Functions and the Buchberger Algorithm. J. Symb. Comput. 22(4): 355-376 (1996) - 1995
- [c13]Pasqualina Conti, Carlo Traverso:
A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem. AAECC 1995: 183-193 - 1994
- [c12]Eberhard Becker, Teo Mora, Maria Grazia Marinari, Carlo Traverso:
The Shape of the Shape Lemma. ISSAC 1994: 129-133 - [c11]Giuseppe Attardi, Carlo Traverso:
A Strategy-Accurate Parallel Buchberger Algorithm. PASCO 1994: 12-21 - 1993
- [c10]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: 76-88 - 1992
- [c9]H. Michael Möller, Teo Mora, Carlo Traverso:
Gröbner Bases Computation Using Syzygies. ISSAC 1992: 320-328 - 1991
- [j1]Pasqualina Conti, Carlo Traverso:
Computing the conductor of an integral extension. Discret. Appl. Math. 33(1-3): 61-72 (1991) - [c8]Paola Cellini, Patrizia M. Gianni, Carlo Traverso:
Algorithms for the Shape of Semialgebraic Sets. A New Approach. AAECC 1991: 1-18 - [c7]Pasqualina Conti, Carlo Traverso:
Buchberger Algorithm and Integer Programming. AAECC 1991: 130-139 - [c6]Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso:
"One Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm. ISSAC 1991: 49-54
1980 – 1989
- 1989
- [c5]André Galligo, Carlo Traverso:
Practical Determination of the Dimension of an Algebraic Variety. Computers and Mathematics 1989: 46-52 - [c4]Carlo Traverso, L. Donati:
Experimenting the Gröbner Basis Algorithm with the A1PI System. ISSAC 1989: 192-198 - 1988
- [c3]Carlo Traverso:
Gröbner Trace Algorithms. ISSAC 1988: 125-138 - [c2]André Galligo, Loic Pottier, Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms. ISSAC 1988: 162-176 - 1987
- [c1]Roberto Dvornicich
, Carlo Traverso:
Newton Symmetric Functions and the Arithmetic of Algebraically Closed Fields. AAECC 1987: 216-224
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint