Pages that link to "Item:Q2913943"

The following pages link to A compiled implementation of normalisation by evaluation (Q2913943):

Displaying 1 item.

• A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)