John Abbott
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1989–2017
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CADE | SC-square: when Satisfiability Checking and Symbolic Computation join forces. | Erika brahm, 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 |
| 2017 | ISSAC | New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. | John Abbott, Anna Maria Bigatti |
| 2017 | UIC | Social dilemma of autonomous cars a critical analysis. | Manju Bisht, John Abbott, Ashraf Gaffar |
| 2016 | SYNASC | CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. | John Abbott, Anna Maria Bigatti |
| 2000 | ISSAC | Factorization in ***[ | John Abbott, Victor Shoup, Paul Zimmermann |
| 1999 | ISSAC | Fast Deterministic Computation of Determinants of Dense Matrices. | John Abbott, Manuel Bronstein, Thom Mulders |
| 1989 | ISSAC | Recovery of Algebraic Numbers from Their | John Abbott |