Cited in
(12)- Wombit: a portfolio bit-vector solver using word-level propagation
- Exact computation of the sign of a finite sum
- ECPP
- SAFER
- ZEN
- xmx
- Wombit
- Towards exact geometric computation
- 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
