John Abbott

CoRR, 2016

Satisfiability checking and symbolic computation.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2016

CoCoA and CoCoALib: Fast Prototyping and Flexible C++ Library for Computations in Commutative Algebra.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 9th International Conference, 2016

2015

What is new in CoCoALib and CoCoA-5?

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2015

2014

Quadratic interval refinement for real roots.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2014

Integration of Libnormaliz in CoCoALib and CoCoA 5.

[BibT_eX]

[DOI]

Christof Söger

Proceedings of the Mathematical Software - ICMS 2014, 2014

What Is New in CoCoA?

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software - ICMS 2014, 2014

2013

Bounds on factors in Z[x].

[BibT_eX]

[DOI]

J. Symb. Comput., 2013

2012

Twin-float arithmetic.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

2010

CoCoALib: A C++ Library for Computations in Commutative Algebra... and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software, 2010

2008

Stable border bases for ideals of points.

[BibT_eX]

[DOI]

Claudia Fassino

Maria-Laura Torrente

J. Symb. Comput., 2008

2007

Thinning Out Redundant Empirical Data.

[BibT_eX]

[DOI]

Claudia Fassino

Maria-Laura Torrente

Math. Comput. Sci., 2007

CoCoA: computations in commutative algebra.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2007

2006

The Design of CoCoALib.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software, 2006

Challenges in Computational Commutative Algebra.

[BibT_eX]

[DOI]

Proceedings of the Challenges in Symbolic Computation Software, 02.07. - 07.07.2006, 2006

2005

Computing zero-dimensional schemes.

[BibT_eX]

[DOI]

Martin Kreuzer

Lorenzo Robbiano

J. Symb. Comput., 2005

2004

CoCoA: a laboratory for computations in commutative algebra.

[BibT_eX]

[DOI]

SIGSAM Bull., 2004

2002

Sparse squares of polynomials.

[BibT_eX]

[DOI]

Math. Comput., 2002

2001

How Tight is Hadamard's Bound?

[BibT_eX]

[DOI]

Thom Mulders

Exp. Math., 2001

2000

Computing Ideals of Points.

[BibT_eX]

[DOI]

J. Symb. Comput., 2000

Factorization in ***[x]: the searching phase.

[BibT_eX]

[DOI]

Victor Shoup

Paul Zimmermann

Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000

1999

Fast Deterministic Computation of Determinants of Dense Matrices.

[BibT_eX]

[DOI]

Manuel Bronstein

Thom Mulders

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, 1999

1996

A report on OpenMath: a protocol for the exchange of mathematical information.

[BibT_eX]

[DOI]

Angel Díaz

Robert S. Sutor

SIGSAM Bull., 1996

1990

Some Ideas about Fault-Tolerant Chinese Remaindering.

[BibT_eX]

[DOI]

Proceedings of the Applied Algebra, 1990

1989

Recovery of Algebraic Numbers from Their p-adic Approximations.

[BibT_eX]

[DOI]

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1987

Factorisation of Polynominals: Old Ideas and Recent Results.

[BibT_eX]

[DOI]

Russell J. Bradford

Proceedings of the Trends in Computer Algebra, 1987

Polynomial factorization: An exploration of Lenstra's algorithm.

[BibT_eX]

[DOI]

Proceedings of the EUROCAL '87, 1987

Integration: Solving the Risch differential equation.

[BibT_eX]

[DOI]

Proceedings of the EUROCAL '87, 1987

1986

The Bath algebraic number package.

[BibT_eX]

[DOI]

Russell J. Bradford

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1986

1985

A remark on factorisation.

[BibT_eX]

[DOI]

Russell J. Bradford