Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control

DOI10.1007/978-3-030-85318-1_13zbMath1504.93058OpenAlexW4285292538MaRDI QIDQ5054245

Stylianos Basagiannis, Vassilios A. Tsachouridis, Georgios Giantamidis, Konstantinos I. Kouramas

Publication date: 29 November 2022

Published in: Lecture Notes in Control and Information Sciences - Proceedings (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-85318-1_13

zbMATH Keywords

affine arithmeticcomputer-aided verificationmatrix iterative solversSchulz matrix inversion algorithm

Mathematics Subject Classification ID

Theory of matrix inversion and generalized inverses (15A09) Algebraic methods (93B25) Direct numerical methods for linear systems and matrix inversion (65F05) Computational methods for problems pertaining to systems and control theory (93-08)

Uses Software

• ACL2

Cites Work

• Unnamed Item
• Unnamed Item
• Iterative method for computing the Moore-Penrose inverse based on Penrose equations
• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• Generalized matrix inversion is not harder than matrix multiplication
• Verified Real Number Calculations: A Library for Interval Arithmetic
• Theorem Proving in Higher Order Logics
• On Iterative Computation of Generalized Inverses and Associated Projections