Open AccessFormal analysis of the Schulz matrix inversion algorithm: A paradigm towards computer aided verification of general matrix flow solvers
Author(s) -
Vassilios A. Tsachouridis,
Georgios Giantamidis,
Stylianos Basagiannis,
K. Kouramas
Publication year - 2019
Publication title -
numerical algebra control and optimization
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.303
H-Index - 20
eISSN - 2155-3289
pISSN - 2155-3297
DOI - 10.3934/naco.2019047
Subject(s) - reachability , computer science , algorithm , numerical analysis , convergence (economics) , matrix (chemical analysis) , inversion (geology) , numerical stability , formal verification , theoretical computer science , mathematics , mathematical analysis , paleontology , materials science , structural basin , economics , composite material , biology , economic growth
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom