Teaching linear algebra in a mechanized mathematical environment

DOI10.1007/978-3-031-42753-4_8arXiv2306.00104MaRDI QIDQ6118820

Azar Shakoori, Robert M. Corless, David J. Jeffrey

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2306.00104

zbMATH Keywords

linear algebrateachingmechanization

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• An algorithm for solving parametric linear systems
• A step toward a unified treatment of continuous and discrete time control problems
• On parametric linear system solving
• Minimal height companion matrices for Euclid polynomials
• Computing with abstract matrix structures
• Abstract matrices in symbolic computation
• Jordan Canonical Form with Parameters from Frobenius Form with Parameters
• Accuracy and Stability of Numerical Algorithms
• Comprehensive LU Factors of Polynomial Matrices

This page was built for publication: Teaching linear algebra in a mechanized mathematical environment