Sfoglia per Autore
Approximate Commutative Algebra
2010-01-01 Robbiano, Lorenzo; Abbott, JOHN ANTHONY
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond
2010-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoALib-0.9940
2010-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoALib-0.9949
2011-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoA-5.0.1
2011-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoALib-0.9952
2012-01-01 Bigatti, ANNA MARIA; Abbott, JOHN ANTHONY
New flavours of CoCoA
2012-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoA-5.0.2
2012-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
Twin-Float Arithmetic
2012-01-01 Abbott, JOHN ANTHONY
CoCoALib-0.99531
2013-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoA-5.0.3
2013-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
Bounds on Factors in Z[x]
2013-01-01 Abbott, JOHN ANTHONY
What Is New in CoCoA?
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoALib-0.99533
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoA-5.1.0
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
Integration of Libnormaliz in CoCoALib and CoCoA 5
2014-01-01 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Christof, Söger
Quadratic Interval Refinement for Real Roots
2014-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
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
Satisfiability checking and symbolic computation
2016-01-01 Abraham, Erika; Abbott, JOHN ANTHONY; Becker, B.; Bigatti, ANNA MARIA; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Approximate Commutative Algebra | 1-gen-2010 | Robbiano, Lorenzo; Abbott, JOHN ANTHONY | |
| CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond | 1-gen-2010 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoALib-0.9940 | 1-gen-2010 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoALib-0.9949 | 1-gen-2011 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoA-5.0.1 | 1-gen-2011 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni | |
| CoCoALib-0.9952 | 1-gen-2012 | Bigatti, ANNA MARIA; Abbott, JOHN ANTHONY | |
| New flavours of CoCoA | 1-gen-2012 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoA-5.0.2 | 1-gen-2012 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni | |
| Twin-Float Arithmetic | 1-gen-2012 | Abbott, JOHN ANTHONY | |
| CoCoALib-0.99531 | 1-gen-2013 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoA-5.0.3 | 1-gen-2013 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni | |
| Bounds on Factors in Z[x] | 1-gen-2013 | Abbott, JOHN ANTHONY | |
| What Is New in CoCoA? | 1-gen-2014 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoALib-0.99533 | 1-gen-2014 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA | |
| CoCoA-5.1.0 | 1-gen-2014 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni | |
| Integration of Libnormaliz in CoCoALib and CoCoA 5 | 1-gen-2014 | Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Christof, Söger | |
| Quadratic Interval Refinement for Real Roots | 1-gen-2014 | 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 | |
| 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 | |
| Satisfiability checking and symbolic computation | 1-gen-2016 | Abraham, Erika; Abbott, JOHN ANTHONY; Becker, B.; Bigatti, ANNA MARIA; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T. |
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