aaflib

MaRDI QIDQ45724swMATHFDO

Official website http://aaflib.sourceforge.net

Cited in

(2)

• PyInterval
• 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: aaflib