Authors

Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo

Conference

Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings; 19-22 September 1994; Valletta,

Title

Reasoning about linear systems of Equations on HOL

Publication type

Proceedings paper