aaflib

swMATH34015MaRDI QIDQ45724FDOQ45724

Author name not available (Why is that?)

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