Teaching Linear Algebra in a Mechanized Mathematical Environment.

Robert M. Corless David J. Jeffrey Azar Shakoori

Published in: CICM (2023)

Keyphrases

linear algebra
computer architecture
singular value decomposition
computer vision
artificial intelligence
image segmentation
partial differential equations