| Publication | Date of Publication | Type |
|---|
| On the maximum computing time of the bisection method for real root isolation | 2017-02-03 | Paper |
| Multiprecision floating point addition | 2015-11-26 | Paper |
| Continued fraction real root isolation using the Hong root bound | 2015-08-19 | Paper |
| Krandick's proof of Lagrange's real root bound claim | 2015-05-04 | Paper |
| On the computing time of the continued fractions method | 2012-07-31 | Paper |
| Single-factor coefficient bounds | 2007-08-24 | Paper |
| Interval arithmetic in cylindrical algebraic decomposition | 2003-03-23 | Paper |
| Local box adjacency algorithms for cylindrical algebraic decompositions | 2002-06-11 | Paper |
| A fast Euclidean algorithm for Gaussian integers | 2002-06-11 | Paper |
| Polynomial minimum root separation | 2002-01-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234241 | 2000-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4234172 | 1999-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227334 | 1999-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391213 | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391215 | 1998-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391220 | 1998-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391217 | 1998-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4391218 | 1998-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4895199 | 1996-11-24 | Paper |
| Efficient rational number reconstruction | 1996-11-10 | Paper |
| Partial cylindrical algebraic decomposition for quantifier elimination | 1992-06-28 | Paper |
| An adjacency algorithm for cylindrical algebraic decompositions of three- dimensional space | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696510 | 1985-01-01 | Paper |
| Cylindrical Algebraic Decomposition I: The Basic Algorithm | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3958439 | 1982-01-01 | Paper |
| Algorithms for the Solution of Systems of Linear Diophantine Equations | 1982-01-01 | Paper |
| The Jacobi symbol algorithm | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3316586 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4197335 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194438 | 1977-01-01 | Paper |
| Analysis of the Pope-Stein division algorithm | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902405 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3916662 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4079605 | 1975-01-01 | Paper |
| The Minimum Root Separation of a Polynomial | 1974-01-01 | Paper |
| The Computing Time of the Euclidean Algorithm | 1974-01-01 | Paper |
| Computer Algebra of Polynomials and Rational Functions | 1973-01-01 | Paper |
| The Calculation of Multivariate Polynomial Resultants | 1971-01-01 | Paper |
| On the interpretability of arithmetic in set theory | 1970-01-01 | Paper |
| Computing Multiplicative Inverses in GF(p) | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5603619 | 1969-01-01 | Paper |
| Subresultants and Reduced Polynomial Remainder Sequences | 1967-01-01 | Paper |
| Polynomial Remainder Sequences and Determinants | 1966-01-01 | Paper |
| PM, a system for polynomial manipulation | 1966-01-01 | Paper |
| A method for overlapping and erasure of lists | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5599162 | 1960-01-01 | Paper |
| Distributivity and an axiom of choice | 1954-01-01 | Paper |
