罗伯特·M·科尔利斯（Robert M.Corless）。;大卫·J·杰弗里。;阿扎尔·沙科里 在机械化数学环境中教授线性代数。 （英语） Zbl 07810727号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 113-129 (2023). 摘要：本文概述了我们对如何在机械化数学环境中教授线性代数的想法，并讨论了我们认为这是一种比“老式方法”更好的教授线性代数的方法的一些原因。我们讨论了一些技术工具，如Maple、Matlab、Python和Jupyter笔记本，以及一些特别适合使用这些工具进行教学的主题选择。我们在过去三十年或更长时间里，尤其是在西安大略大学，在不同级别的教学中积累了丰富的经验，这为我们的讨论提供了信息。关于整个系列，请参见[兹比尔1531.68022]. MSC公司： 68伏xx 数学研究和实践的计算机科学支持 关键词：机械化;线性代数;教学 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Corless}等人，Lect。注释计算。科学。14101、113--129（2023；Zbl 07810727） 全文： 内政部 arXiv公司 参考文献： [1] Banks，J.、Garza-Vargas，J.和Srivastava，N.：海森堡转移QR I的全球收敛：动力学（2022） [2] Betteridge，J。；Chan，EYS；无芯，RM；JH达文波特；格兰特·J。；理查德，公关；Vélez，议员；Van Vaerenbergh，S.，数学科学家编程教学，《人工智能时代的数学教育》，251-276（2022），查姆：斯普林格，查姆·doi:10.1007/978-3-030-86909-0_12 [3] Buchberger，B.，学生应该学习积分规则吗？，ACM SIGSAM公牛。，24, 1, 10-17 (1990) ·doi:10.1145/382276.1095228 [4] 卡马戈斯·库托（Camargos Couto），AC；莫雷诺·马扎（Moreno Maza，M.）。；林德博士。；DJ杰弗里；无芯，RM；斯拉曼尼格，D。；齐加里达斯，E。；Zafeirakopoulos，Z.，多项式矩阵的综合LU因子，计算机和信息科学的数学方面，80-88（2020），Cham:Springer，Cham·Zbl 07441062号 ·doi:10.1007/978-3-030-43120-48 [5] 卡尔森，D。；约翰逊，CR；Lay，D。；波特，AD，初等线性代数的明珠，科尔。数学。J.，23，4，299-303（1992）·doi:10.1080/077468342.1992.1973473 [6] 卡尔森，D。；约翰逊，CR；敷设，直流；Porter，AD，线性代数课程研究小组对线性代数第一门课程的建议，Coll。数学。J.，24，1，41-46（1993）·doi:10.1080/07468342.1993.11973504 [7] 陈，安永；Corless，RM，欧几里得多项式的最小高度伴随矩阵，数学。计算。科学。，13, 41-56 (2019) ·Zbl 1474.11069号 ·doi:10.1007/s11786-018-0364-2 [8] 无芯，RM；吉斯布雷希特，M。；Rafiee Sevyeri，L。；桑德斯，BD；Boulier，F。；英格兰，M。；萨迪科夫，TM；Vorozhtsov，EV，《关于参数线性系统求解》，《科学计算中的计算机代数》，188-205（2020），Cham:Springer，Cham·Zbl 07635830号 ·doi:10.1007/978-3-030-60026-6_11 [9] 无芯，RM；Jeffrey，DJ，矩形矩阵的Turing因式分解，ACM SIGSAM Bull。，31, 3, 20-30 (1997) ·doi:10.145/271130.271135 [10] 无芯，RM；莫雷诺·马扎（Moreno Maza，M.）。；东南部桑顿；J·Bömer。；IS科齐里亚斯；库西亚，T。；Simos，DE，Jordan标准形，含参数Frobenius标准形，《计算机和信息科学的数学方面》，179-194（2017），Cham:Springer，Cham·Zbl 1504.65109号 ·doi:10.1007/978-3-319-72453-9_13 [11] Deng，S.，Reid，G.，Jeffrey，D.：枫树中的参数线性代数：简化的行梯队形式。摘自：《SYNASC学报》，第33-36页。IEEE（2021） [12] 新泽西州海厄姆：《数值算法的准确性和稳定性》，第2版。SIAM，费城（2002）·Zbl 1011.65010号 [13] Jeffrey，D.J.，Corless，R.M.：maple®中的线性代数。摘自：Hogben，L.（编辑）《线性代数手册》，第二版。，第89-1页。查普曼和霍尔/CRC，博卡拉顿（2013） [14] Lay，D.C.、Lay，S.R.、McDonald，J.：线性代数及其应用。培生教育，纽约（2016） [15] Mehrmann，V.，统一处理连续和离散时间控制问题的步骤，线性代数应用。，241, 749-779 (1996) ·Zbl 0859.93013号 ·doi:10.1016/0024-3795（95）00257-X [16] Moler，C.：多项式的根，即（1991）。https://www.mathworks.com/company/newsletters/articles/roots-of-polynomials-tha-is.html [17] Sexton，A.，Sorge，V.：符号计算中的抽象矩阵。摘自：ISSAC会议记录。ACM，2006年7月。doi:10.1145/1145768.1145820·Zbl 1356.68294号 [18] Sexton，A.P.、Sorge，V.、Watt，S.M.：使用抽象矩阵结构进行计算。摘自：ISSAC会议记录，第325-332页（2009年）·Zbl 1237.68261号 [19] Sit，WY，求解参数线性系统的算法，J.Symb。计算。，13, 4, 353-394 (1992) ·兹比尔0752.34010 ·doi:10.1016/S0747-7171（08）80104-6 [20] 斯特朗，G.，《应用数学导论》（1986），韦尔斯利：韦尔斯利-剑桥出版社·Zbl 0618.00015号 [21] Van Loan，C.F.，Fan，K.Y.D.：《通过计算的洞察——计算科学与工程的MATLAB导论》，费城SIAM（2010）·Zbl 1183.68151号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。