John Abbott - RankMe

40 papers B 3C 1Journal 22Unranked 13

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Computing the Determinant of a Dense Matrix over ℤ. ICMS John Abbott, Claus Fieker
2020	—	`conf`	Certifying Irreducibility in ℤ[x]. ICMS John Abbott
2020	J	`jnl`	Computing and using minimal polynomials. J. Symb. Comput. John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
2019	—	`ed.`	Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. SC-square@SIAM AG John Abbott, Alberto Griggio
2018	—	`conf`	New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. SC-Square@FLOC John Abbott, Anna Maria Bigatti, Elisa Palezzato
2017	J	`jnl`	CoCoA-5.2.2 and CoCoALib. ACM Commun. Comput. Algebra John Abbott, Anna Maria Bigatti
2017	J	`jnl`	Computing and Using Minimal Polynomials. CoRR John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano
2017	J	`jnl`	Fault-tolerant modular reconstruction of rational numbers. J. Symb. Comput. John Abbott
2017	J	`jnl`	Implicitization of hypersurfaces. J. Symb. Comput. John Abbott, Anna Maria Bigatti, Lorenzo Robbiano
2017	—	`conf`	New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. SC²@ISSAC John Abbott, Anna Maria Bigatti
2017	—	`conf`	SC-square: when Satisfiability Checking and Symbolic Computation join forces. ARCADE@CADE 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
2017	—	`conf`	Social dilemma of autonomous cars a critical analysis. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Manju Bisht, John Abbott, Ashraf Gaffar
2016	—	`conf`	CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. SC²@SYNASC John Abbott, Anna Maria Bigatti
2016	J	`jnl`	Groebner Bases for Everyone with CoCoA-5 and CoCoALib. CoRR John Abbott, Anna Maria Bigatti
2016	C	`conf`	SC CICM 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
2016	J	`jnl`	Satisfiability Checking and Symbolic Computation. CoRR 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
2016	J	`jnl`	Satisfiability Checking meets Symbolic Computation (Project Paper). CoRR 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
2016	J	`jnl`	Satisfiability checking and symbolic computation. ACM Commun. Comput. Algebra 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
2015	J	`jnl`	What is new in CoCoALib and CoCoA-5? ACM Commun. Comput. Algebra John Abbott, Anna Maria Bigatti
2014	—	`conf`	Integration of Libnormaliz in CoCoALib and CoCoA 5. ICMS John Abbott, Anna Maria Bigatti, Christof Söger
2014	J	`jnl`	Quadratic interval refinement for real roots. ACM Commun. Comput. Algebra John Abbott
2014	—	`conf`	What Is New in CoCoA? ICMS John Abbott, Anna Maria Bigatti
2013	J	`jnl`	Bounds on factors in J. Symb. Comput. John Abbott
2012	J	`jnl`	Twin-float arithmetic. J. Symb. Comput. John Abbott
2010	—	`conf`	CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. ICMS John Abbott, Anna Maria Bigatti
2008	J	`jnl`	Stable border bases for ideals of points. J. Symb. Comput. John Abbott, Claudia Fassino, Maria-Laura Torrente
2007	J	`jnl`	CoCoA: computations in commutative algebra. ACM Commun. Comput. Algebra John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano
2007	J	`jnl`	Thinning Out Redundant Empirical Data. Math. Comput. Sci. John Abbott, Claudia Fassino, Maria-Laura Torrente
2006	—	`conf`	Challenges in Computational Commutative Algebra. Challenges in Symbolic Computation Software John Abbott
2006	—	`conf`	The Design of CoCoALib. ICMS John Abbott
2005	J	`jnl`	Computing zero-dimensional schemes. J. Symb. Comput. John Abbott, Martin Kreuzer, Lorenzo Robbiano
2004	J	`jnl`	CoCoA: a laboratory for computations in commutative algebra. SIGSAM Bull. John Abbott
2002	J	`jnl`	Sparse squares of polynomials. Math. Comput. John Abbott
2001	J	`jnl`	How Tight is Hadamard's Bound? Exp. Math. John Abbott, Thom Mulders
2000	J	`jnl`	Computing Ideals of Points. J. Symb. Comput. John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano
2000	B	`conf`	Factorization in ***[ ISSAC John Abbott, Victor Shoup, Paul Zimmermann
1999	B	`conf`	Fast Deterministic Computation of Determinants of Dense Matrices. ISSAC John Abbott, Manuel Bronstein, Thom Mulders
1996	J	`jnl`	A report on OpenMath: a protocol for the exchange of mathematical information. SIGSAM Bull. John Abbott, Angel Díaz, Robert S. Sutor
1990	—	`conf`	Some Ideas about Fault-Tolerant Chinese Remaindering. AAECC John Abbott
1989	B	`conf`	Recovery of Algebraic Numbers from Their ISSAC John Abbott