John Abbott

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 17

Top Topics

Parametric Curves

Imperative Programs

Automated Deduction

Top Venues

ACM Commun. Comput. Algebra

J. Symb. Comput.

Publications

John Abbott, Claus Fieker
Computing the Determinant of a Dense Matrix over ℤ. ICMS (2024)
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Computing and using minimal polynomials. J. Symb. Comput. 100 (2020)
John Abbott
Certifying Irreducibility in ℤ[x]. ICMS (2020)
John Abbott, Anna Maria Bigatti, Elisa Palezzato
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. SC-Square@FLOC (2018)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler
SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE (2017)
John Abbott, Anna Maria Bigatti
New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. SC²@ISSAC (2017)
John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
Computing and Using Minimal Polynomials. CoRR (2017)
John Abbott
Fault-tolerant modular reconstruction of rational numbers. J. Symb. Comput. 80 (2017)
John Abbott, Anna Maria Bigatti, Lorenzo Robbiano
Implicitization of hypersurfaces. J. Symb. Comput. 81 (2017)
Manju Bisht, John Abbott, Ashraf Gaffar
Social dilemma of autonomous cars a critical analysis. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2017)
John Abbott, Anna Maria Bigatti
CoCoA-5.2.2 and CoCoALib. ACM Commun. Comput. Algebra 51 (3) (2017)
John Abbott, Anna Maria Bigatti
CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. SC²@SYNASC (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability Checking and Symbolic Computation. CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 50 (4) (2016)
John Abbott, Anna Maria Bigatti
Groebner Bases for Everyone with CoCoA-5 and CoCoALib. CoRR (2016)
Erika Ábrahám, John Abbott, Bernd Becker, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm
: Satisfiability Checking Meets Symbolic Computation - (Project Paper). CICM (2016)
John Abbott, Anna Maria Bigatti
What is new in CoCoALib and CoCoA-5? ACM Commun. Comput. Algebra 49 (4) (2015)
John Abbott, Anna Maria Bigatti, Christof Söger
Integration of Libnormaliz in CoCoALib and CoCoA 5. ICMS (2014)
John Abbott, Anna Maria Bigatti
What Is New in CoCoA? ICMS (2014)
John Abbott
Quadratic interval refinement for real roots. ACM Commun. Comput. Algebra 48 (1/2) (2014)
John Abbott
]. J. Symb. Comput. 50 (2013)
John Abbott
Twin-float arithmetic. J. Symb. Comput. 47 (5) (2012)
John Abbott, Anna Maria Bigatti
CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. ICMS (2010)
John Abbott, Claudia Fassino, Maria-Laura Torrente
Stable border bases for ideals of points. J. Symb. Comput. 43 (12) (2008)
John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
CoCoA: computations in commutative algebra. ACM Commun. Comput. Algebra 41 (3) (2007)
John Abbott, Claudia Fassino, Maria-Laura Torrente
Thinning Out Redundant Empirical Data. Math. Comput. Sci. 1 (2) (2007)
John Abbott
The Design of CoCoALib. ICMS (2006)
John Abbott
Challenges in Computational Commutative Algebra. Challenges in Symbolic Computation Software (2006)
John Abbott, Martin Kreuzer, Lorenzo Robbiano
Computing zero-dimensional schemes. J. Symb. Comput. 39 (1) (2005)
John Abbott
CoCoA: a laboratory for computations in commutative algebra. SIGSAM Bull. 38 (1) (2004)
John Abbott
Sparse squares of polynomials. Math. Comput. 71 (237) (2002)
John Abbott, Thom Mulders
How Tight is Hadamard's Bound? Exp. Math. 10 (3) (2001)
John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano
Computing Ideals of Points. J. Symb. Comput. 30 (4) (2000)
John Abbott, Victor Shoup, Paul Zimmermann
]: the searching phase. ISSAC (2000)
John Abbott, Manuel Bronstein, Thom Mulders
Fast Deterministic Computation of Determinants of Dense Matrices. ISSAC (1999)
John Abbott, Angel Díaz, Robert S. Sutor
A report on OpenMath: a protocol for the exchange of mathematical information. SIGSAM Bull. 30 (1) (1996)
John Abbott
Some Ideas about Fault-Tolerant Chinese Remaindering. AAECC (1990)
John Abbott
-adic Approximations. ISSAC (1989)