1 paper
Robert M. Corless, David J. Jeffrey, Azar Shakoori
This paper outlines our ideas on how to teach linear algebra in a mechanized mathematical environment, and discusses some of our reasons for thinking that this is a better way to t…