rigorous-numerics
Rigorous ball/interval arithmetic for Python: sound enclosures with documented directed-rounding guarantees, plus certified interval-Newton root isolation.