External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Teaching Linear Algebra in a Mechanized Mathematical Environment

Robert M. Corless, David J. Jeffrey, Azar Shakoori. Teaching Linear Algebra in a Mechanized Mathematical Environment. In Catherine Dubois, Manfred Kerber, editors, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Volume 14101 of Lecture Notes in Computer Science, pages 113-129, Springer, 2023. [doi]

Authors

Robert M. Corless

This author has not been identified. Look up 'Robert M. Corless' in Google

David J. Jeffrey

This author has not been identified. Look up 'David J. Jeffrey' in Google

Azar Shakoori

This author has not been identified. Look up 'Azar Shakoori' in Google
runs on