Login / Signup
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem.
Jesús Aransay
Jose Divasón
Published in:
J. Autom. Reason. (2017)
Keyphrases
</>
linear algebra
least squares
singular value decomposition
numerical methods
computer architecture
linear equations
condition number
image processing
signal processing
distributed systems
partial differential equations