Certification of matrix multiplication algorithms. Strassen's algorithm in ACL2,

TitleCertification of matrix multiplication algorithms. Strassen's algorithm in ACL2,
Publication TypeConference Proceedings
Year of Conference2001
AuthorsMedina-Bulo, I, Palomo-Lozano, F, Alonso-Jiménez, JA
Conference Name14th International Conference on Theorem Proving in Higher Order Logics.
EditionInformatics Research Report EDI-INF-RR-0046
Pagination283-298
PublisherDivision of Informatics
Conference LocationEdinburgh (Scotland)