4 citations · 17 across the 11 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.HO2023
Teaching Linear Algebra in a Mechanized Mathematical Environment
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…
math.NA2023
Blendstrings: an environment for computing with smooth functions
Robert M. Corless
A "blendstring" is a piecewise polynomial interpolant with high-degree two-point Hermite interpolational polynomials on each piece, analogous to a cubic spline. Blendstrings are sm…