PyRank

Verified Computation Python Packages

Python packages with the GitHub topic verified-computation. Sorted by monthly downloads, with stars and forks.
vince-gonzalez
certivl

Exact rational and certified interval arithmetic: enclosures that turn a computed inequality into a proof.

347 0 0