PyRank

Certified Computing Python Packages

Python packages with the GitHub topic certified-computing. Sorted by monthly downloads, with stars and forks.
kyoai-zhao
pyball-arithmetic

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

82 0 0