Rigorous ball/interval arithmetic for Python: sound enclosures with documented directed-rounding guarantees, plus certified interval-Newton root isolation.
-
Updated
Aug 20, 2026 - Python
Rigorous ball/interval arithmetic for Python: sound enclosures with documented directed-rounding guarantees, plus certified interval-Newton root isolation.
To associate your repository with the certified-computing topic, visit your repo's landing page and select "manage topics."