aaflib

swMATH34015MaRDI QIDQ45724FDOQ45724

Author name not available (Why is that?)

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