Pages that link to "Item:Q5495918"

The following pages link to Formalization of Complex Vectors in Higher-Order Logic (Q5495918):

Displaying 2 items.

• A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
• Formalization of Complex Vectors in Higher-Order Logic (Q5495918) (← links)