7 citations · 20 across the 11 of their papers we have counts for
1 paper · 2 filters
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…