PyInterval

swMATH34016MaRDI QIDQ45725FDOQ45725

Author name not available (Why is that?)

Source code repository: https://github.com/taschini/pyinterval

Cited In (1)

• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers

This page was built for software: PyInterval