Sfoglia per Autore
A case of automatic theorem proving in Euclidean geometry: the Maclane 8_3 theorem
1995-01-01 Conti, P.; Traverso, Carlo
Strategy accurate parallel Buchberger Algorithm
1996-01-01 Attardi, Giuseppe; Traverso, Carlo
Hilbert function and the Buchberger algorithm,
1996-01-01 Traverso, Carlo
Yet Another Ideal Decomposition Algorithm
1997-01-01 Caboara, Massimo; P., Conti; Traverso, Carlo
Efficient algorithms for ideal operations
1998-01-01 Caboara, Massimo; Traverso, Carlo
Computing Groebner bases numerically: some experiments
1998-01-01 C., Bonini; K. P., Nishke; Traverso, Carlo; A., Zanoni
Polynomial System Solving with parameters:Groebner Bases Specialization through Hilbert Functions
2000-01-01 M. J., GONZALEZ LOPEZ; L., GONZALEZ VEGA; Traverso, Carlo; A., Zanoni
Algebraic and semialgebraic proofs: methods and paradoxes
2001-01-01 P., Conti; Traverso, Carlo
Numerical stability and stabilization of Groebner basis computation
2002-01-01 Traverso, Carlo; Zanoni, Alberto
Syzygies, and the Stabilization of Numerical Buchberger Algorithm
2002-01-01 Traverso, Carlo
Approximate Rings and Gröbner Bases
2005-01-01 Traverso, Carlo; C., Conti
Hilbert Stratification and Parametric Groebner Bases
2005-01-01 Traverso, Carlo; C, Zanoni
Block lattice polly cracker, theory and practice
2008-01-01 Caboara, Massimo; Caruso, F; Traverso, Carlo
Gröbner Bases in Public Key Cryptography
2008-01-01 Caboara, Massimo; Caruso, Fabrizio; Traverso, Carlo
A Survey on Polly Cracker Systems
2009-01-01 LEVY DIT VEHEL, Françoise; MARINARI MARIA, Grazia; Perret, Ludovic; Traverso, Carlo
Gröbner Bases, Coding, and Cryptography
2009-01-01 Sala, Massimiliano; Mora, Teo; Perret, Ludovic; Sakata, Shojiro; Traverso, Carlo
Lattice Polly Cracker cryptosystems
In corso di stampa Caboara, Massimo; Caruso, F; Traverso, Carlo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A case of automatic theorem proving in Euclidean geometry: the Maclane 8_3 theorem | 1-gen-1995 | Conti, P.; Traverso, Carlo | |
| Strategy accurate parallel Buchberger Algorithm | 1-gen-1996 | Attardi, Giuseppe; Traverso, Carlo | |
| Hilbert function and the Buchberger algorithm, | 1-gen-1996 | Traverso, Carlo | |
| Yet Another Ideal Decomposition Algorithm | 1-gen-1997 | Caboara, Massimo; P., Conti; Traverso, Carlo | |
| Efficient algorithms for ideal operations | 1-gen-1998 | Caboara, Massimo; Traverso, Carlo | |
| Computing Groebner bases numerically: some experiments | 1-gen-1998 | C., Bonini; K. P., Nishke; Traverso, Carlo; A., Zanoni | |
| Polynomial System Solving with parameters:Groebner Bases Specialization through Hilbert Functions | 1-gen-2000 | M. J., GONZALEZ LOPEZ; L., GONZALEZ VEGA; Traverso, Carlo; A., Zanoni | |
| Algebraic and semialgebraic proofs: methods and paradoxes | 1-gen-2001 | P., Conti; Traverso, Carlo | |
| Numerical stability and stabilization of Groebner basis computation | 1-gen-2002 | Traverso, Carlo; Zanoni, Alberto | |
| Syzygies, and the Stabilization of Numerical Buchberger Algorithm | 1-gen-2002 | Traverso, Carlo | |
| Approximate Rings and Gröbner Bases | 1-gen-2005 | Traverso, Carlo; C., Conti | |
| Hilbert Stratification and Parametric Groebner Bases | 1-gen-2005 | Traverso, Carlo; C, Zanoni | |
| Block lattice polly cracker, theory and practice | 1-gen-2008 | Caboara, Massimo; Caruso, F; Traverso, Carlo | |
| Gröbner Bases in Public Key Cryptography | 1-gen-2008 | Caboara, Massimo; Caruso, Fabrizio; Traverso, Carlo | |
| A Survey on Polly Cracker Systems | 1-gen-2009 | LEVY DIT VEHEL, Françoise; MARINARI MARIA, Grazia; Perret, Ludovic; Traverso, Carlo | |
| Gröbner Bases, Coding, and Cryptography | 1-gen-2009 | Sala, Massimiliano; Mora, Teo; Perret, Ludovic; Sakata, Shojiro; Traverso, Carlo | |
| Lattice Polly Cracker cryptosystems | In corso di stampa | Caboara, Massimo; Caruso, F; Traverso, Carlo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile