George E. Collins

52 papers A 1B 6Journal 31Unranked 14
YearRankTypeTitle / Venue / Authors
2017 J jnl
On the maximum computing time of the bisection method for real root isolation.
J. Symb. Comput.
George E. Collins
2016 J jnl
Continued fraction real root isolation using the Hong root bound.
J. Symb. Comput.
George E. Collins
2015 J jnl
Krandick's proof of Lagrange's real root bound claim.
J. Symb. Comput.
George E. Collins
2012 J jnl
On the computing time of the continued fractions method.
J. Symb. Comput.
George E. Collins, Werner Krandick
2004 J jnl
Single-factor coefficient bounds.
J. Symb. Comput.
George E. Collins
2002 J jnl
A Fast Euclidean Algorithm for Gaussian Integers.
J. Symb. Comput.
George E. Collins
2002 J jnl
Interval Arithmetic in Cylindrical Algebraic Decomposition.
J. Symb. Comput.
George E. Collins, Jeremy R. Johnson, Werner Krandick
2002 J jnl
Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions.
J. Symb. Comput.
Scott McCallum, George E. Collins
2001 J jnl
Polynomial Minimum Root Separation.
J. Symb. Comput.
George E. Collins
2000 B conf
Multiprecision floating point addition.
ISSAC
George E. Collins, Werner Krandick
1996 B conf
A Tangent-Secant Method for Polynomial Complex Root Calculation.
ISSAC
George E. Collins, Werner Krandick
1996 J jnl
Improved Techniques for Factoring Univariate Polynomials.
J. Symb. Comput.
George E. Collins, Mark J. Encarnación
1995 J jnl
Efficient Rational Number Reconstruction.
J. Symb. Comput.
George E. Collins, Mark J. Encarnación
1993 B conf
A Hybrid Method for High Precision Calculation of Polynomial Real Roots.
ISSAC
George E. Collins, Werner Krandick
1992 B conf
An Efficient Algorithm for Infallible Polynomial Complex Root Isolation.
ISSAC
George E. Collins, Werner Krandick
1991 J jnl
Partial Cylindrical Algebraic Decomposition for Quantifier Elimination.
J. Symb. Comput.
George E. Collins, Hoon Hong
1990 — conf
Parallel Real Root Isolation Using the Coefficient Sign Variation Method.
CAP
George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin
1989 B conf
Quantifier Elimination and the Sign Variation Method for Real Root Isolation.
ISSAC
George E. Collins, Jeremy R. Johnson
1988 J jnl
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
J. Symb. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1988 B conf
The Probability of Relative Primality of Gaussian Integers.
ISSAC
George E. Collins, Jeremy R. Johnson
1985 — conf
An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space.
European Conference on Computer Algebra (2)
Dennis S. Arnon, George E. Collins, Scott McCallum
1985 — conf
The Euclidean Algorithm for Gaussian Integers (Abstract).
Accurate Scientific Computations
George E. Collins
1985 — conf
The SAC-2 Computer Algebra System.
European Conference on Computer Algebra (2)
George E. Collins
1984 J jnl
Cylindrical Algebraic Decomposition I: The Basic Algorithm.
SIAM J. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1984 J jnl
Cylindrical Algebraic Decomposition II: An Adjacency Algorithm for the Plane.
SIAM J. Comput.
Dennis S. Arnon, George E. Collins, Scott McCallum
1982 J jnl
Algorithms for the Solution of Systems of Linear Diophantine Equations.
SIAM J. Comput.
Tsu-Wu J. Chou, George E. Collins
1982 J jnl
Computer algebra symbolic and algebraic computation.
SIGSAM Bull.
Bruno Buchberger, George E. Collins, Rüdiger Loos, R. Albrecht
1982 — conf
Factorization in Cylindrical Algebraic Decomposition.
EUROCAM
George E. Collins
1982 J jnl
The Jacobi symbol algorithm.
SIGSAM Bull.
George E. Collins, Rüdiger G. K. Loos
1979 — conf
Factoring univariate integral polynomial in polynomial average time.
EUROSAM
George E. Collins
1977 J jnl
Analysis of the Pope-Stein Division Algorithm.
Inf. Process. Lett.
George E. Collins, David R. Musser
1976 — conf
Algorithms for Gaussian integer arithmetic.
SYMSACC
Bob F. Caviness, George E. Collins
1976 — conf
Polynomial real root isolation by differentiation.
SYMSACC
George E. Collins, Rüdiger Loos
1976 — conf
Polynomial real root isolation using Descarte's rule of signs.
SYMSACC
George E. Collins, Alkiviadis G. Akritas
1976 J jnl
Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition: a synopsis.
SIGSAM Bull.
George E. Collins
1975 — conf
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition.
Automata Theory and Formal Languages
George E. Collins
1975 — conf
SIGSAM 2-Symbolic mathematical systems (Part II) and methods for symbolic and algebraic computation (Tutorial and papers).
ACM Annual Conference
George E. Collins
1974 J jnl
Quantifier elimination for real closed fields by cylindrical algebraic decomposition-preliminary report.
SIGSAM Bull.
George E. Collins
1974 J jnl
SAC-1 solution of problem #7.
SIGSAM Bull.
George E. Collins, David R. Musser, Michael Rothstein
1974 J jnl
The Computing Time of the Euclidean Algorithm.
SIAM J. Comput.
George E. Collins
1972 A conf
Symbolic mathematical computation in a Ph.D. computer science program.
SIGCSE
Bob F. Caviness, George E. Collins
1971 J jnl
The Calculation of Multivariate Polynomial Resultants.
J. ACM
George E. Collins
1971 — conf
The SAC-1 system: An introduction and survey.
SYMSAC
George E. Collins
1971 — conf
The calculation of multivariate polynomial resultants.
SYMSAC
George E. Collins
1970 J jnl
On the interpretability of arithmetic in set theory.
Notre Dame J. Formal Log.
George E. Collins, J. D. Halpern
1969 J jnl
Letters to the editor: comment on a paper by Ku and Adler.
Commun. ACM
George E. Collins
1967 J jnl
Subresultants and Reduced Polynomial Remainder Sequences.
J. ACM
George E. Collins
1966 J jnl
PM, a system for polynomial manipulation.
Commun. ACM
George E. Collins
1964 J jnl
A method for comparing the internal operating speeds of computers.
Commun. ACM
Gene Raichelson, George E. Collins
1960 J jnl
A method for overlapping and erasure of lists.
Commun. ACM
George E. Collins
1956 — conf
The Tarski decision procedure.
ACM National Meeting
George E. Collins
1954 J jnl
Distributivity and An Axiom of Choice.
J. Symb. Log.
George E. Collins