2006 |
18 | EE | Jeremy R. Johnson,
Werner Krandick,
Kevin Lynch,
David G. Richardson,
Anatole D. Ruslanov:
High-performance implementations of the Descartes method.
ISSAC 2006: 154-161 |
17 | EE | Kurt Mehlhorn,
Arno Eigenwillig,
Lutz Kettner,
Werner Krandick,
Susanne Schmitt,
Nicola Wolpert:
A Descartes Algorithms for Polynomials with Bit-Stream Coefficients.
Reliable Implementation of Real Number Algorithms 2006 |
16 | EE | Werner Krandick,
Kurt Mehlhorn:
New bounds for the Descartes method.
J. Symb. Comput. 41(1): 49-66 (2006) |
2005 |
15 | EE | Arno Eigenwillig,
Lutz Kettner,
Werner Krandick,
Kurt Mehlhorn,
Susanne Schmitt,
Nicola Wolpert:
A Descartes Algorithm for Polynomials with Bit-Stream Coefficients.
CASC 2005: 138-149 |
14 | EE | David G. Richardson,
Werner Krandick:
Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.
CASC 2005: 330-343 |
13 | | Nadya Belov,
Ilya Braude,
Werner Krandick,
Joshua Shaffer:
Wireless Internet Collaboration System on Smartphones.
CAiSE Workshops (2) 2005: 675-689 |
12 | EE | Jeremy R. Johnson,
Werner Krandick,
Anatole D. Ruslanov:
Architecture-aware classical Taylor shift by 1.
ISSAC 2005: 200-207 |
11 | EE | Nadya Belov,
Colin Koeck,
Werner Krandick,
Joshua Shaffer,
Thomas T. Hewett:
Intellectual teamwork on smartphones.
Mobile HCI 2005: 379-380 |
2002 |
10 | EE | George E. Collins,
Jeremy R. Johnson,
Werner Krandick:
Interval Arithmetic in Cylindrical Algebraic Decomposition.
J. Symb. Comput. 34(2): 145-157 (2002) |
2001 |
9 | | Thomas Decker,
Werner Krandick:
On the Isoefficiency of the Parallel Descartes Method.
Symbolic Algebraic Methods and Verification Methods 2001: 55-67 |
2000 |
8 | EE | George E. Collins,
Werner Krandick:
Multiprecision floating point addition.
ISSAC 2000: 71-77 |
1999 |
7 | | Thomas Decker,
Werner Krandick:
Parallel Real Root Isolation Using the Descartes Method.
HiPC 1999: 261-268 |
1997 |
6 | | Jeremy R. Johnson,
Werner Krandick:
Polynomial Real Root Isolation using Approximate Arithmetic.
ISSAC 1997: 225-232 |
1996 |
5 | EE | George E. Collins,
Werner Krandick:
A Tangent-Secant Method for Polynomial Complex Root Calculation.
ISSAC 1996: 137-141 |
4 | | Werner Krandick,
Tudor Jebelean:
Bidirectional Exact Integer Division.
J. Symb. Comput. 21(4): 441-455 (1996) |
1993 |
3 | EE | Werner Krandick,
Jeremy R. Johnson:
Efficient multiprecision floating point multiplication with optimal directional rounding.
IEEE Symposium on Computer Arithmetic 1993: 228-233 |
2 | EE | George E. Collins,
Werner Krandick:
A Hybrid Method for High Precision Calculation of Polynomial Real Roots.
ISSAC 1993: 47-52 |
1992 |
1 | EE | George E. Collins,
Werner Krandick:
An Efficient Algorithm for Infallible Polynomial Complex Root Isolation.
ISSAC 1992: 189-194 |