George E. Collins

Publication Activity (10 Years)

Years Active: 1954-2017
Publications (10 Years): 3

Top Topics

Optimization Method

Top Venues

J. Symb. Comput.

Publications

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