The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of John Abbott John A. Abbott ( http://dblp.L3S.de/Authors/John_Abbott )

Publication years (Num. hits)
1985-2005 (15) 2006-2016 (18) 2017 (7)
Publication types (Num. hits)
article(22) inproceedings(18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 41 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1John Abbott, Anna Maria Bigatti CoCoA-5.2.2 and CoCoALib. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Elisa Palezzato, Lorenzo Robbiano Computing and Using Minimal Polynomials. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Lorenzo Robbiano Implicitization of hypersurfaces. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Abbott Fault-tolerant modular reconstruction of rational numbers. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Manju Bisht, John Abbott, Ashraf Gaffar Social dilemma of autonomous cars a critical analysis. Search on Bibsonomy SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square. Search on Bibsonomy SC²@ISSAC The full citation details ... 2017 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti Groebner Bases for Everyone with CoCoA-5 and CoCoALib. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, 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 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti What is new in CoCoALib and CoCoA-5? Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1John Abbott Quadratic interval refinement for real roots. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti What Is New in CoCoA? Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Christof Söger Integration of Libnormaliz in CoCoALib and CoCoA 5. Search on Bibsonomy ICMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Abbott Bounds on factors in Z[x]. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1John Abbott Twin-float arithmetic. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond. Search on Bibsonomy ICMS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1John Abbott, Claudia Fassino, Maria-Laura Torrente Stable border bases for ideals of points. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Massimo Caboara, Lorenzo Robbiano CoCoA: computations in commutative algebra. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1John Abbott, Claudia Fassino, Maria-Laura Torrente Thinning Out Redundant Empirical Data. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000). 14Q99, 62H30
1John Abbott Challenges in Computational Commutative Algebra. Search on Bibsonomy Challenges in Symbolic Computation Software The full citation details ... 2006 DBLP  BibTeX  RDF
1John Abbott The Design of CoCoALib. Search on Bibsonomy ICMS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Abbott, Martin Kreuzer, Lorenzo Robbiano Computing zero-dimensional schemes. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1John Abbott CoCoA: a laboratory for computations in commutative algebra. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1John Abbott Sparse squares of polynomials. Search on Bibsonomy Math. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1John Abbott, Thom Mulders How Tight is Hadamard's Bound? Search on Bibsonomy Experimental Mathematics The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano Computing Ideals of Points. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John Abbott, Victor Shoup, Paul Zimmermann Factorization in ***[x]: the searching phase. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John Abbott, Manuel Bronstein, Thom Mulders Fast Deterministic Computation of Determinants of Dense Matrices. Search on Bibsonomy ISSAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1John Abbott, Angel Díaz, Robert S. Sutor A report on OpenMath: a protocol for the exchange of mathematical information. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1John Abbott Some Ideas about Fault-Tolerant Chinese Remaindering. Search on Bibsonomy AAECC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1John Abbott Recovery of Algebraic Numbers from Their p-adic Approximations. Search on Bibsonomy ISSAC The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1John A. Abbott, Russell J. Bradford, James H. Davenport Factorisation of Polynominals: Old Ideas and Recent Results. Search on Bibsonomy Trends in Computer Algebra The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1John A. Abbott, James H. Davenport Polynomial factorization: An exploration of Lenstra's algorithm. Search on Bibsonomy EUROCAL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1John A. Abbott Integration: Solving the Risch differential equation. Search on Bibsonomy EUROCAL The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1John A. Abbott, Russell J. Bradford, James H. Davenport The Bath algebraic number package. Search on Bibsonomy SYMSAC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1John A. Abbott, Russell J. Bradford, James H. Davenport A remark on factorisation. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license