Teaching Linear Algebra in a Mechanized Environment
Channel: Robert M. Corless
Date: 2023-09-05

Talk for CICM Intelligent Computer Mathematics at Cambridge September 2023