𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY

✍ Scribed by N. Revol; K. Makino; M. Berz


Book ID
113720564
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
270 KB
Volume
64
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.