Pages that link to "Item:Q779625"

The following pages link to Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625):

Displaying 2 items.

• Exploiting higher computational efficiency index for computing outer generalized inverses (Q2120789) (← links)
• Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control (Q5054245) (← links)