Russinoff, D. (2025). A Formalization of Elementary Linear Algebra: Part I.
Chicago Style (17th ed.) CitationRussinoff, David. A Formalization of Elementary Linear Algebra: Part I. 2025.
MLA (9th ed.) CitationRussinoff, David. A Formalization of Elementary Linear Algebra: Part I. 2025.
Warning: These citations may not always be 100% accurate.