1. Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm. (2015) Authors: ARANSAY, JESÚS; DIVASÓN, JOSE Journal: Journal of functional programming Issue: Volume 25(2015) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗