Introducing Software Tools into Linear Algebra and Principles of Mathematics

数学科学（21）。该项目将ATLAST（通过软件工具增强线性代数的教学）项目（DUE-9154149和DUE-9455074）的材料和方法改编和实施到两门面向未来数学专业的一年级课程中，包括职前K-12数学教师。主要重点是将这些材料整合到线性代数的入门课程中，其次重点是将ATLAST的特定计算机模块和材料应用到“数学原理”课程中，为未来的数学专业学生介绍证明。

Mathematical Sciences (21). This project is adapting and implementing materials and approaches from the ATLAST (Augmenting the Teaching and Learning of Linear Algebra through Software Tools) project (DUE-9154149 and DUE-9455074) into two first-year courses for prospective mathematics majors, including preservice K-12 mathematics teachers. The primary focus is on the incorporation of these materials into an introductory course in linear algebra, with a secondary focus on the use of specific computer-based modules and materials from ATLAST into a course, "Principles of Mathematics," which serves to introduce proofs to future mathematics majors.