![](/img/cover-not-exists.png)
Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm
ARANSAY, JESÚS, DIVASÓN, JOSEVolume:
25
Year:
2015
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796815000155
File:
PDF, 156 KB
english, 2015