ATLAS: Interactive and Educational Linear Algebra System Containing Non-Standard Methods

2021/07/29 by Pai, Akhilesh, Davenport, James Harold
#FOS: Computer and information sciences #Symbolic Computation (cs.SC)

paper · doi:10.48550/arxiv.2107.13942

Abstract

While there are numerous linear algebra teaching tools, they tend to be focused on the basics, and not handle the more advanced aspects. This project aims to fill that gap, focusing specifically on methods like Strassen's fast matrix multiplication.

Related

• A set of level 3 basic linear algebra subprograms
• Teaching Linear Algebra in a Mechanized Mathematical Environment
• Constructive Learning in Undergraduate Linear Algebra
• Matrix diagonalization and singular value decomposition: Static SageMath and dynamic ChatGPT juxtaposed
• A study of the existing linear algebra libraries that you can use from C++ (Une étude des bibliothèques d'algèbre linéaire utilisables en C++)