Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Aransay, Jesús
and
Divasón, Jose
2017.
A Formalisation in HOL of the Fundamental Theorem of Linear Algebra and Its Application to the Solution of the Least Squares Problem.
Journal of Automated Reasoning,
Vol. 58,
Issue. 4,
p.
509.
Lochbihler, Andreas
2018.
Interactive Theorem Proving.
Vol. 10895,
Issue. ,
p.
388.
Brucker, Achim D.
Ait-Sadoune, Idir
Méric, Nicolas
and
Wolff, Burkhart
2023.
Rigorous State-Based Methods.
Vol. 14010,
Issue. ,
p.
15.
Discussions
No Discussions have been published for this article.