ABBOTT, JOHN ANTHONY
ABBOTT, JOHN ANTHONY
100021 - Dipartimento di Matematica
Challenges in Computational Commutative Algebra
2006-01-01 Abbott, JOHN ANTHONY
CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra
2016-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoA: Computations in Commutative Algebra
2006-01-01 Bigatti, ANNA MARIA; Abbott, JOHN ANTHONY
CoCoA: computations in commutative algebra
2007-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Caboara, Massimo; Robbiano, Lorenzo
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
2010-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Factorization in $Z[x]$: The Searching Phase
2000-01-01 Abbott, JOHN ANTHONY; V., Shoup; P., Zimmermann
Fast Deterministic Computation of Determinants of Dense Matrices
1999-01-01 Abbott, JOHN ANTHONY; M., Bronstein; T., Mulders
Groebner Bases for Everyone with CoCoA-5 and CoCoALib
2018-01-01 Abbott, J.; Bigatti, a. m.
Integration of Libnormaliz in CoCoALib and CoCoA 5
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Christof, Söger
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square
2017-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square
2018-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa
Quadratic Interval Refinement
2006-01-01 Abbott, JOHN ANTHONY
Recovery of Algebraic Numbers from their $p$-adic Approximations
1989-01-01 Abbott, JOHN ANTHONY
SC2: Satisfiability checking meets symbolic computation (Project Paper)
2016-01-01 Abraham, Erika; Abbott, JOHN ANTHONY; Becker, Bernd; Bigatti, ANNA MARIA; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
Some Ideas About Fault-Tolerant Chinese Remaindering
1991-01-01 Abbott, JOHN ANTHONY
What Is New in CoCoA?
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Challenges in Computational Commutative Algebra | 1-gen-2006 | Abbott, JOHN ANTHONY | |
| CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra | 1-gen-2016 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoA: Computations in Commutative Algebra | 1-gen-2006 | Bigatti, ANNA MARIA; Abbott, JOHN ANTHONY | |
| CoCoA: computations in commutative algebra | 1-gen-2007 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Caboara, Massimo; Robbiano, Lorenzo | |
| CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond | 1-gen-2010 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| Factorization in $Z[x]$: The Searching Phase | 1-gen-2000 | Abbott, JOHN ANTHONY; V., Shoup; P., Zimmermann | |
| Fast Deterministic Computation of Determinants of Dense Matrices | 1-gen-1999 | Abbott, JOHN ANTHONY; M., Bronstein; T., Mulders | |
| Groebner Bases for Everyone with CoCoA-5 and CoCoALib | 1-gen-2018 | Abbott, J.; Bigatti, a. m. | |
| Integration of Libnormaliz in CoCoALib and CoCoA 5 | 1-gen-2014 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Christof, Söger | |
| New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-square | 1-gen-2017 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| New in Cocoa-5.2.4 and Cocoalib-0.99600 for SC-square | 1-gen-2018 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Palezzato, Elisa | |
| Quadratic Interval Refinement | 1-gen-2006 | Abbott, JOHN ANTHONY | |
| Recovery of Algebraic Numbers from their $p$-adic Approximations | 1-gen-1989 | Abbott, JOHN ANTHONY | |
| SC2: Satisfiability checking meets symbolic computation (Project Paper) | 1-gen-2016 | Abraham, Erika; Abbott, JOHN ANTHONY; Becker, Bernd; Bigatti, ANNA MARIA; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas | |
| Some Ideas About Fault-Tolerant Chinese Remaindering | 1-gen-1991 | Abbott, JOHN ANTHONY | |
| What Is New in CoCoA? | 1-gen-2014 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA |