Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Collins, George"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the computing time of the continued fractions method
George E. Collins
,
Werner Krandick
Journal Symbolic Computation
47
(11), 2012, pp. 1372-1412
Single-factor coefficient bounds
George E. Collins
Journal Symbolic Computation
38
(6), 2004, pp. 1507-1521
Interval arithmetic in cylindrical algebraic decomposition
George E. Collins
,
Jeremy R. Johnson
,
Werner Krandick
Journal Symbolic Computation
34
(2), 2002, pp. 145-157
A fast Euclidean algorithm for Gaussian integers
George E. Collins
Journal Symbolic Computation
33
(4), 2002, pp. 385-392
Local box adjacency algorithms for cylindrical algebraic decompositions
Scott McCallum
,
George E. Collins
Journal Symbolic Computation
33
(3), 2002, pp. 321-342
Polynomial minimum root separation
George E. Collins
Journal Symbolic Computation
32
(5), 2001, pp. 467-473
Multiprecision floating point addition
George E. Collins
,
Werner Krandick
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC'2000 (University of St. Andrews, Scotland, August 7-9, 2000)
, 2000, pp. 71-77
Cylindrical algebraic decomposition I: The basic algorithm
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Texts and Monographs in Symbolic Computation
, 1998, pp. 136-151
Cylindrical algebraic decomposition II: An adjacency algorithm for the plane
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Texts and Monographs in Symbolic Computation
, 1998, pp. 152-165
Partial cylindrical algebraic decomposition for quantifier elimination
George E. Collins
,
Hoon Hong
Texts and Monographs in Symbolic Computation
, 1998, pp. 174-200
Quantifier elimination by cylindrical algebraic decomposition - Twenty years of progress
George E. Collins
Texts and Monographs in Symbolic Computation
, 1998, pp. 8-23
Quantifier elimination for real closed fields by cylindrical algebraic decomposition
George E. Collins
Texts and Monographs in Symbolic Computation
, 1998, pp. 85-121
Improved techniques for factoring univariate polynomials
George E. Collins
,
Mark J. Encarnación
Journal Symbolic Computation
21
(3), 1996, pp. 313-327
A tangent-secant method for polynomial complex root calculation
George E. Collins
,
Werner Krandick
Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC'96 (Zurich, Switzerland, July 24-26, 1996)
, 1996, pp. 137-141
Efficient rational number reconstruction
George E. Collins
,
Mark J. Encarnación
Journal Symbolic Computation
20
(3), 1995, pp. 287-297
A hybrid method for high precision calculation of polynomial real roots
George E. Collins
,
Werner Krandick
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC'93 (Kiev, Ukraine, July 6-8, 1993)
, 1993, pp. 47-52
An efficient algorithm for infallible polynomial complex root isolation
George E. Collins
,
Werner Krandick
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992)
, 1992, pp. 189-194
Revised report on the algorithm description language ALDES
Rüdiger G.K. Loos
,
George E. Collins
Technical Report (WSI-92-14), 1992
Partial cylindrical algebraic decomposition for quantifier elimination
George E. Collins
,
Hoon Hong
Journal Symbolic Computation
12
(3), 1991, pp. 299-328
An adjacency algorithm for cylindrical algebraic decompositions of three-dimensional space
Dennis S. Arnon
,
George E. Collins
,
Scott McCallum
Journal Symbolic Computation
5
(1-2), 1988, pp. 163-187
The computing time of the Euclidean algorithm
George Collins
SIAM Journal on Computing
3
(1), 1974, March, pp. 1-10
The calculation of multivariate polynomial resultants
George E. Collins
Journal of the ACM
18
, 1971, pp. 515-532
Subresultants and reduced polynomial remainder sequences
George E. Collins
Journal of the ACM
14
, 1967, pp. 128-142