George E. Collins

J. Symb. Comput., 2017

2016

Continued fraction real root isolation using the Hong root bound.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

2015

Krandick's proof of Lagrange's real root bound claim.

[BibT_eX]

[DOI]

J. Symb. Comput., 2015

2012

On the computing time of the continued fractions method.

[BibT_eX]

[DOI]

J. Symb. Comput., 2012

2004

Single-factor coefficient bounds.

[BibT_eX]

[DOI]

J. Symb. Comput., 2004

2002

Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2002

Interval Arithmetic in Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

J. Symb. Comput., 2002

A Fast Euclidean Algorithm for Gaussian Integers.

[BibT_eX]

[DOI]

J. Symb. Comput., 2002

2001

Polynomial Minimum Root Separation.

[BibT_eX]

[DOI]

J. Symb. Comput., 2001

2000

Multiprecision floating point addition.

[BibT_eX]

[DOI]

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

1996

Improved Techniques for Factoring Univariate Polynomials.

[BibT_eX]

[DOI]

Mark J. Encarnación

J. Symb. Comput., 1996

A Tangent-Secant Method for Polynomial Complex Root Calculation.

[BibT_eX]

[DOI]

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

1995

Efficient Rational Number Reconstruction.

[BibT_eX]

[DOI]

Mark J. Encarnación

J. Symb. Comput., 1995

1993

A Hybrid Method for High Precision Calculation of Polynomial Real Roots.

[BibT_eX]

[DOI]

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

1992

An Efficient Algorithm for Infallible Polynomial Complex Root Isolation.

[BibT_eX]

[DOI]

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

1991

Partial Cylindrical Algebraic Decomposition for Quantifier Elimination.

[BibT_eX]

[DOI]

Hoon Hong

J. Symb. Comput., 1991

1990

Parallel Real Root Isolation Using the Coefficient Sign Variation Method.

[BibT_eX]

[DOI]

Wolfgang Küchlin

Proceedings of the Computer Algebra and Parallelism, 1990

1989

Quantifier Elimination and the Sign Variation Method for Real Root Isolation.

[BibT_eX]

[DOI]

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

1988

An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.

[BibT_eX]

[DOI]

Dennis S. Arnon

J. Symb. Comput., 1988

The Probability of Relative Primality of Gaussian Integers.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 1988

1985

The SAC-2 Computer Algebra System.

[BibT_eX]

[DOI]

Proceedings of the EUROCAL '85, 1985

The Euclidean Algorithm for Gaussian Integers (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Accurate Scientific Computations, 1985

1984

Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.

[BibT_eX]

[DOI]

Dennis S. Arnon

SIAM J. Comput., 1984

Cylindrical Algebraic Decomposition I: The Basic Algorithm.

[BibT_eX]

[DOI]

Dennis S. Arnon

SIAM J. Comput., 1984

1982

Algorithms for the Solution of Systems of Linear Diophantine Equations.

[BibT_eX]

[DOI]

Tsu-Wu J. Chou

SIAM J. Comput., 1982

The Jacobi symbol algorithm.

[BibT_eX]

[DOI]

Rüdiger G. K. Loos

SIGSAM Bull., 1982

Computer algebra symbolic and algebraic computation.

[BibT_eX]

[DOI]

SIGSAM Bull., 1982

Factorization in Cylindrical Algebraic Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra, 1982

1979

Factoring univariate integral polynomial in polynomial average time.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 1979

1977

Analysis of the Pope-Stein Division Algorithm.

[BibT_eX]

[DOI]

David R. Musser

Inf. Process. Lett., 1977

1976

Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis.

[BibT_eX]

[DOI]

SIGSAM Bull., 1976

Polynomial real root isolation by differentiation.

[BibT_eX]

[DOI]

Rüdiger Loos

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

Polynomial real root isolation using Descarte's rule of signs.

[BibT_eX]

[DOI]

Alkiviadis G. Akritas

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

Algorithms for Gaussian integer arithmetic.

[BibT_eX]

[DOI]

Bob F. Caviness

Proceedings of the third ACM Symposium on Symbolic and Algebraic Manipulation, 1976

SIGSAM (Paper Session).

[BibT_eX]

[DOI]

Joel Moses

Martin L. Griss

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1975

Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition.

[BibT_eX]

[DOI]

Proceedings of the Automata Theory and Formal Languages, 1975

SIGSAM 2-Symbolic mathematical systems (Part II) and methods for symbolic and algebraic computation (Tutorial and papers).

[BibT_eX]

[DOI]

Proceedings of the 1975 ACM Annual Conference, 1975

1974

The Computing Time of the Euclidean Algorithm.

[BibT_eX]

[DOI]

SIAM J. Comput., 1974

SAC-1 solution of problem #7.

[BibT_eX]

[DOI]

David R. Musser

Michael Rothstein

SIGSAM Bull., 1974

Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report.

[BibT_eX]

[DOI]

SIGSAM Bull., 1974

1972

Symbolic mathematical computation in a Ph.D. computer science program.

[BibT_eX]

[DOI]

Bob F. Caviness

Proceedings of the 2nd SIGCSE Technical Symposium on Computer Science Education, 1972

1971

The Calculation of Multivariate Polynomial Resultants.

[BibT_eX]

[DOI]

J. ACM, 1971

The SAC-1 system: An introduction and survey.

[BibT_eX]

[DOI]

Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, 1971

1970

On the interpretability of arithmetic in set theory.

[BibT_eX]

[DOI]

J. D. Halpern

Notre Dame J. Formal Log., 1970

1969

Letters to the editor: comment on a paper by Ku and Adler.

[BibT_eX]

[DOI]

Commun. ACM, 1969

1967

Subresultants and Reduced Polynomial Remainder Sequences.

[BibT_eX]

[DOI]

J. ACM, 1967

1966

PM, a system for polynomial manipulation.

[BibT_eX]

[DOI]

Commun. ACM, 1966

1964

A method for comparing the internal operating speeds of computers.

[BibT_eX]

[DOI]

Gene Raichelson

Commun. ACM, 1964

1960

A method for overlapping and erasure of lists.

[BibT_eX]

[DOI]

Commun. ACM, 1960

1956

The Tarski decision procedure.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM national meeting, 1956

1954

Distributivity and An Axiom of Choice.

[BibT_eX]

[DOI]