Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers |
scientific article; zbMATH DE number 7220004
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers |
scientific article; zbMATH DE number 7220004 |
Statements
Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (English)
0 references
13 July 2020
0 references
matrix iterative algorithms
0 references
Schulz algorithm
0 references
reachability analysis
0 references
formal verification
0 references
0 references
0 references
0.87484443
0 references
0.8332567
0 references
0.8239366
0 references
0.8223217
0 references
0.81986606
0 references
0.81623435
0 references
0.81524295
0 references
0.81503224
0 references
