标题： 在机械化数学环境中教授线性代数 显示英文标题

标题： Teaching Linear Algebra in a Mechanized Mathematical Environment

摘要： 本文概述了我们在机械化数学环境中教授线性代数的想法，并讨论了我们认为这种方法比“老式方法”更好的一些原因。 我们讨论了一些技术工具，如Maple、Matlab、Python和Jupyter笔记本，以及一些特别适合使用这些工具教学的主题选择。 本讨论基于我们在过去三十多年中在不同层次上进行教学的经验，尤其是在西方大学的教学经验。 显示英文摘要

摘要： 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 teach linear algebra than the ``old fashioned way''. We discuss some technological tools such as Maple, Matlab, Python, and Jupyter Notebooks, and some choices of topics that are especially suited to teaching with these tools. The discussion is informed by our experience over the past thirty or more years teaching at various levels, especially at the University of Western Ontario.