Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(10)
Dennis S. Arnon
4
Scott Mccallum
4
Jeremy R. Johnson
3
Werner Krandick
2
Mark J. Encarnacion (Mark J. Encarnación)
2
Conferences
(7)
ISSAC
5
EUROCAL
2
Accurate Scientific Computations
1
EUROSAM
1
Automata Theory and Formal Languages / Automatentheorie und Formale Sprachen
1
Journals
(8)
JSC
9
SIAMCOMP
4
CACM
3
JACM
2
IPL
1
Keywords
(36)
Embed
Subscribe
Academic
Authors
George E. Collins
Edit
George E. Collins
University of Delaware
Publications: 36
|
Citations: 1478
|
G-Index: 36
|
H-Index: 15
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Scientific Computing
,
Algorithms & Theory
,
Mathematics
View FAQ about top research area and research interests
Collaborated with
10 co-authors
from 1954 to 2004
; Cited by
1179 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(36)
BibTeX
|
RIS
|
RefWorks
Download
Single-factor coefficient bounds
(
Citations: 2
)
George E. Collins
Journal:
Journal of Symbolic Computation - JSC
, vol. 38, no. 6, pp. 1507-1521, 2004
Interval Arithmetic in Cylindrical Algebraic Decomposition
(
Citations: 40
)
George E. Collins
,
Jeremy R. Johnson
,
Werner Krandick
Journal:
Journal of Symbolic Computation - JSC
, vol. 34, no. 2, pp. 145-157, 2002
Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions
(
Citations: 12
)
Scott Mccallum
Journal:
Journal of Symbolic Computation - JSC
, vol. 33, no. 3, pp. 321-342, 2002
A Fast Euclidean Algorithm for Gaussian Integers
(
Citations: 2
)
George E. Collins
Journal:
Journal of Symbolic Computation - JSC
, vol. 33, no. 4, pp. 385-392, 2002
Polynomial Minimum Root Separation
(
Citations: 6
)
George E. Collins
Journal:
Journal of Symbolic Computation - JSC
, vol. 32, no. 5, pp. 467-473, 2001
Order by:
Citations
(1478 times by 1175 publications)
Information-Theoretic Bounds for Differentially Private Mechanisms
(
Citations: 3
)
Gilles Barthe
,
Boris Kopf
Conference:
Computer Security Foundations Workshop - CSFW
, pp. 191-204, 2011
Symbolic decision procedure for termination of linear programs
(
Citations: 2
)
Bican Xia
,
Lu Yang
,
Naijun Zhan
,
Zhihai Zhang
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 2, pp. 171-190, 2011
Solving Very Sparse Rational Systems of Equations
(
Citations: 2
)
William Cook
,
Daniel E. Steffy
Published in 2011.
A deterministic algorithm for isolating real roots of a real polynomial
(
Citations: 2
)
Kurt Mehlhorn
,
Michael Sagraloff
Journal:
Journal of Symbolic Computation - JSC
, vol. 46, no. 1, pp. 70-90, 2011
Algorithmic Global Criteria for Excluding Oscillations
(
Citations: 1
)
Andreas Weber
,
Thomas Sturm
,
Essam O. Abdel-Rahman
Published in 2011.
Comments