Real_Impl
From MaRDI portal
Software:40961
No author found.
Related Items (2)
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem ⋮ Automatic refinement to efficient data structures: a comparison of two approaches
This page was built for software: Real_Impl
