A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem
Work
Year: 2016
Type: article
Source: Journal of Automated Reasoning
Authors Jesús Aransay, Jose Divasón
Institution Universidad de La Rioja
Cites: 54
Cited by: 6
Related to: 10
FWCI: 0.241
Citation percentile (by year/subfield): 83.45
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Grant ID MTM2014-54151-P