| Publication | Date of Publication | Type |
|---|
On the maximum computing time of the bisection method for real root isolation
Journal of Symbolic Computation | 2017-02-03 | Paper |
Multiprecision floating point addition
Proceedings of the 2000 international symposium on Symbolic and algebraic computation | 2015-11-26 | Paper |
Continued fraction real root isolation using the Hong root bound
Journal of Symbolic Computation | 2015-08-19 | Paper |
Krandick's proof of Lagrange's real root bound claim
Journal of Symbolic Computation | 2015-05-04 | Paper |
On the computing time of the continued fractions method
Journal of Symbolic Computation | 2012-07-31 | Paper |
Single-factor coefficient bounds
Journal of Symbolic Computation | 2007-08-24 | Paper |
Interval arithmetic in cylindrical algebraic decomposition
Journal of Symbolic Computation | 2003-03-23 | Paper |
Local box adjacency algorithms for cylindrical algebraic decompositions
Journal of Symbolic Computation | 2002-06-11 | Paper |
A fast Euclidean algorithm for Gaussian integers
Journal of Symbolic Computation | 2002-06-11 | Paper |
Polynomial minimum root separation
Journal of Symbolic Computation | 2002-01-02 | Paper |
| scientific article; zbMATH DE number 1263360 (Why is no real title available?) | 2000-06-27 | Paper |
| scientific article; zbMATH DE number 1263299 (Why is no real title available?) | 1999-09-09 | Paper |
| scientific article; zbMATH DE number 1254285 (Why is no real title available?) | 1999-04-22 | Paper |
| scientific article; zbMATH DE number 1157648 (Why is no real title available?) | 1998-10-01 | Paper |
| scientific article; zbMATH DE number 1157650 (Why is no real title available?) | 1998-09-13 | Paper |
| scientific article; zbMATH DE number 1157655 (Why is no real title available?) | 1998-09-13 | Paper |
| scientific article; zbMATH DE number 1157652 (Why is no real title available?) | 1998-09-13 | Paper |
| scientific article; zbMATH DE number 1157653 (Why is no real title available?) | 1998-09-13 | Paper |
| scientific article; zbMATH DE number 934500 (Why is no real title available?) | 1996-11-24 | Paper |
Efficient rational number reconstruction
Journal of Symbolic Computation | 1996-11-10 | Paper |
Partial cylindrical algebraic decomposition for quantifier elimination
Journal of Symbolic Computation | 1992-06-28 | Paper |
An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space
Journal of Symbolic Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3921970 (Why is no real title available?) | 1985-01-01 | Paper |
Cylindrical Algebraic Decomposition I: The Basic Algorithm
SIAM Journal on Computing | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3779296 (Why is no real title available?) | 1982-01-01 | Paper |
Algorithms for the Solution of Systems of Linear Diophantine Equations
SIAM Journal on Computing | 1982-01-01 | Paper |
The Jacobi symbol algorithm
ACM SIGSAM Bulletin | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3846865 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3637278 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633694 (Why is no real title available?) | 1977-01-01 | Paper |
Analysis of the Pope-Stein division algorithm
Information Processing Letters | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3711282 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3728392 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3497890 (Why is no real title available?) | 1975-01-01 | Paper |
| The Minimum Root Separation of a Polynomial | 1974-01-01 | Paper |
The Computing Time of the Euclidean Algorithm
SIAM Journal on Computing | 1974-01-01 | Paper |
Computer Algebra of Polynomials and Rational Functions
The American Mathematical Monthly | 1973-01-01 | Paper |
The Calculation of Multivariate Polynomial Resultants
Journal of the ACM | 1971-01-01 | Paper |
On the interpretability of arithmetic in set theory
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
Computing Multiplicative Inverses in GF(p)
Mathematics of Computation | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3323541 (Why is no real title available?) | 1969-01-01 | Paper |
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM | 1967-01-01 | Paper |
Polynomial Remainder Sequences and Determinants
The American Mathematical Monthly | 1966-01-01 | Paper |
PM, a system for polynomial manipulation
Communications of the ACM | 1966-01-01 | Paper |
A method for overlapping and erasure of lists
Communications of the ACM | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319539 (Why is no real title available?) | 1960-01-01 | Paper |
Distributivity and an axiom of choice
Journal of Symbolic Logic | 1954-01-01 | Paper |
