Using ACL2 Arrays to Formalize Matrix Algebra (2003)

by John Cowles, Ruben Gamboa, Jeff Van Baalen
Venue:In ACL2 Workshop