A remark on factorisation. - John A. Abbott; Russell J. Bradford; James H. Davenport (SIGSAM Bull., 1985)

The Bath algebraic number package. - John A. Abbott; Russell J. Bradford; James H. Davenport (SYMSAC, 1986)

Integration: Solving the Risch differential equation. - John A. Abbott (EUROCAL, 1987)

Polynomial factorization: An exploration of Lenstra's algorithm. - John A. Abbott; James H. Davenport (EUROCAL, 1987)

Factorisation of Polynominals: Old Ideas and Recent Results. - John A. Abbott; Russell J. Bradford; James H. Davenport (Trends in Computer Algebra, 1987)

Recovery of Algebraic Numbers from Their p-adic Approximations. - John Abbott (ISSAC, 1989)

Some Ideas about Fault-Tolerant Chinese Remaindering. - John Abbott (AAECC, 1990)

A report on OpenMath: a protocol for the exchange of mathematical information. - John Abbott; Angel Díaz; Robert S. Sutor (SIGSAM Bull., 1996)

Fast Deterministic Computation of Determinants of Dense Matrices. - John Abbott; Manuel Bronstein; Thom Mulders (ISSAC, 1999)

Factorization in ***[x]: the searching phase. - John Abbott; Victor Shoup; Paul Zimmermann (ISSAC, 2000)

Computing Ideals of Points. - John Abbott; Anna Maria Bigatti; Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2000)

How Tight is Hadamard's Bound? - John Abbott; Thom Mulders (Exp. Math., 2001)

Sparse squares of polynomials. - John Abbott (Math. Comput., 2002)

CoCoA: a laboratory for computations in commutative algebra. - John Abbott (SIGSAM Bull., 2004)

Computing zero-dimensional schemes. - John Abbott; Martin Kreuzer; Lorenzo Robbiano (J. Symb. Comput., 2005)

Challenges in Computational Commutative Algebra. - John Abbott (Challenges in Symbolic Computation Software, 2006)

The Design of CoCoALib. - John Abbott (ICMS, 2006)

CoCoA: computations in commutative algebra. - John Abbott; Anna Maria Bigatti; Massimo Caboara; Lorenzo Robbiano (ACM Commun. Comput. Algebra, 2007)

Thinning Out Redundant Empirical Data. - John Abbott; Claudia Fassino; Maria-Laura Torrente (Math. Comput. Sci., 2007)

Stable border bases for ideals of points. - John Abbott; Claudia Fassino; Maria-Laura Torrente (J. Symb. Comput., 2008)

CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. - John Abbott; Anna Maria Bigatti (ICMS, 2010)

Twin-float arithmetic. - John Abbott (J. Symb. Comput., 2012)

Bounds on factors in Z[x]. - John Abbott (J. Symb. Comput., 2013)

What Is New in CoCoA? - John Abbott; Anna Maria Bigatti (ICMS, 2014)

Integration of Libnormaliz in CoCoALib and CoCoA 5. - John Abbott; Anna Maria Bigatti; Christof Söger (ICMS, 2014)

Quadratic interval refinement for real roots. - John Abbott (ACM Commun. Comput. Algebra, 2014)

What is new in CoCoALib and CoCoA-5? - John Abbott; Anna Maria Bigatti (ACM Commun. Comput. Algebra, 2015)

SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (CICM, 2016)

CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. - John Abbott; Anna Maria Bigatti (SC²@SYNASC, 2016)

Satisfiability checking and symbolic computation. - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (ACM Commun. Comput. Algebra, 2016)

Groebner Bases for Everyone with CoCoA-5 and CoCoALib. - John Abbott; Anna Maria Bigatti (CoRR, 2016)

Satisfiability Checking meets Symbolic Computation (Project Paper). - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Bruno Buchberger; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Alberto Griggio; et al. (CoRR, 2016)

SC-square: when Satisfiability Checking and Symbolic Computation join forces. - Erika Ábrahám; John Abbott; Bernd Becker 001; Anna Maria Bigatti; Martin Brain; Alessandro Cimatti; James H. Davenport; Matthew England 001; Pascal Fontaine; Stephen Forrest; Vijay Ganesh 001; Alberto Griggio; et al. (ARCADE@CADE, 2017)

New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. - John Abbott; Anna Maria Bigatti (SC²@ISSAC, 2017)

Social dilemma of autonomous cars a critical analysis. - Manju Bisht; John Abbott; Ashraf Gaffar (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2017)

CoCoA-5.2.2 and CoCoALib. - John Abbott; Anna Maria Bigatti (ACM Commun. Comput. Algebra, 2017)

Fault-tolerant modular reconstruction of rational numbers. - John Abbott (J. Symb. Comput., 2017)

Implicitization of hypersurfaces. - John Abbott; Anna Maria Bigatti; Lorenzo Robbiano (J. Symb. Comput., 2017)

New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. - John Abbott; Anna Maria Bigatti; Elisa Palezzato (SC-Square@FLOC, 2018)

Certifying Irreducibility in ℤ[x]. - John Abbott (ICMS, 2020)

Computing and using minimal polynomials. - John Abbott; Anna Maria Bigatti; Elisa Palezzato; Lorenzo Robbiano (J. Symb. Comput., 2020)

Computing the Determinant of a Dense Matrix over ℤ. - John Abbott; Claus Fieker (ICMS, 2024)