TRAVERSO, CARLO Statistiche

TRAVERSO, CARLO  

DIPARTIMENTO DI MATEMATICA  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.015 secondi).
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
A Survey on Polly Cracker Systems 1-gen-2009 LEVY DIT VEHEL, Françoise; MARINARI MARIA, Grazia; Perret, Ludovic; Traverso, Carlo
Algebraic and semialgebraic proofs: methods and paradoxes 1-gen-2001 P., Conti; Traverso, Carlo
Approximate Rings and Gröbner Bases 1-gen-2005 Traverso, Carlo; C., Conti
Block lattice polly cracker, theory and practice 1-gen-2008 Caboara, Massimo; Caruso, F; Traverso, Carlo
Computing Groebner bases numerically: some experiments 1-gen-1998 C., Bonini; K. P., Nishke; Traverso, Carlo; A., Zanoni
Efficient algorithms for ideal operations 1-gen-1998 Caboara, Massimo; Traverso, Carlo
Gröbner Bases in Public Key Cryptography 1-gen-2008 Caboara, Massimo; Caruso, Fabrizio; Traverso, Carlo
Gröbner Bases, Coding, and Cryptography 1-gen-2009 Sala, Massimiliano; Mora, Teo; Perret, Ludovic; Sakata, Shojiro; Traverso, Carlo
Hilbert function and the Buchberger algorithm, 1-gen-1996 Traverso, Carlo
Hilbert Stratification and Parametric Groebner Bases 1-gen-2005 Traverso, Carlo; C, Zanoni
Lattice Polly Cracker cryptosystems In corso di stampa Caboara, Massimo; Caruso, F; Traverso, Carlo
Numerical stability and stabilization of Groebner basis computation 1-gen-2002 Traverso, Carlo; Zanoni, Alberto
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
Strategy accurate parallel Buchberger Algorithm 1-gen-1996 Attardi, Giuseppe; Traverso, Carlo
Syzygies, and the Stabilization of Numerical Buchberger Algorithm 1-gen-2002 Traverso, Carlo
Yet Another Ideal Decomposition Algorithm 1-gen-1997 Caboara, Massimo; P., Conti; Traverso, Carlo