swMATH24211MaRDI QIDQ35972FDOQ35972
Author name not available (Why is that?)
Official website: http://www.hpl.hp.com/techreports/Compaq-DEC/PRL-RR-2.pdf?pagewanted=all
Cited In (12)
- Wombit: a portfolio bit-vector solver using word-level propagation
- Exact computation of the sign of a finite sum
- ECPP
- Towards exact geometric computation
- SAFER
- ZEN
- xmx
- Wombit
- Arbitrary precision real arithmetic: design and algorithms
- Constructing strongly convex approximate hulls with inaccurate primitives
- Elliptic Curves and Primality Proving
- \(\mathsf{xmx}\): a firmware-oriented block cipher based on modular multiplications
This page was built for software: BIGNUM
