scientific article
From MaRDI portal
Publication:3497626
zbMath1175.68410MaRDI QIDQ3497626
Publication date: 27 July 2009
Full work available at URL: http://jfr.cib.unibo.it/article/view/1349
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem ⋮ The gauge integral theory in HOL4 ⋮ Verified interactive computation of definite integrals ⋮ Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem ⋮ On the formalization of gamma function in HOL
Uses Software
This page was built for publication:
