Sfoglia per Autore  

opzioni
Mostrati risultati da 21 a 40 di 53
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
Twin-Float Arithmetic 1-gen-2012 Abbott, JOHN ANTHONY
CoCoA-5.0.2 1-gen-2012 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
New flavours of CoCoA 1-gen-2012 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
CoCoALib-0.9952 1-gen-2012 Bigatti, ANNA MARIA; Abbott, JOHN ANTHONY
Bounds on Factors in Z[x] 1-gen-2013 Abbott, JOHN ANTHONY
CoCoA-5.0.3 1-gen-2013 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Lagorio, Giovanni
CoCoALib-0.99531 1-gen-2013 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Integration of Libnormaliz in CoCoALib and CoCoA 5 1-gen-2014 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA; Christof, Söger
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
Quadratic Interval Refinement for Real Roots 1-gen-2014 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
CoCoA and CoCoALib: Fast prototyping and flexible C++ library for computations in commutative Algebra 1-gen-2016 Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
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.
Mostrati risultati da 21 a 40 di 53
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