TY  - RPRT
TI  - Computer validated proofs of a toolset for adaptable arithmetic
AU  - Sylvie Boldo
AU  - Marc Daumas
AU  - Claire Moreau-Finot
AU  - Laurent Thery
PY  - 2001
UR  - https://arxiv.org/abs/cs/0107025
ID  - cs/0107025
ER  -