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