1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.DM2025★ 1 cited
A Formalization of Elementary Linear Algebra: Part II
David Russinoff
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a…
cs.DM2025★ 1 cited
A Formalization of Elementary Linear Algebra: Part I
David Russinoff
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary co…