×
马克·伯吉斯;乔纳斯·贝岑达尔;阿比舍克·丘格;迈克尔·科尔哈斯;多米尼克·洛尔;穆勒，丹尼斯

基于数学知识管理的学习支持系统。 （英文） Zbl 07810725号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 84-97 (2023).
摘要：为了迎合日益多样化的学生群体，高等教育必须使教育个性化。在教育预算停滞不前和人员配备问题重重的时候，这只能通过适应性的交互式学习支持服务来实现。在本文中，我们展示了如何通过建模领域、学习者能力、学习对象之间的修辞和教学关系，利用现有的数学知识管理技术和系统来生成这些内容。
关于整个系列，请参见[Zbl 1531.68022号].

MSC公司：

68伏xx 数学研究和实践的计算机科学支持

软件：

sTeX3型;github;OMDoc公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Berges}等人，Lect。注释计算。科学。14101、84-97（2023；Zbl 07810725）
全文： 内政部

参考文献：

[1] 安德森，LW；Krathwohl，博士，《学习、教学和评估分类法：布鲁姆教育目标分类法的修订》（2009年），纽约：朗曼，纽约
[2] Kamaredine，F。；Sacerdoti Coen，C.，《智能计算机数学》（2022），Cham:Springer，Cham·Zbl 1484.68013号 ·doi:10.1007/978-3-030-81097-9
[3] Condoluci，A.、Kohlhase，M.、Müller，D.、Rabe，F.、Sacerdoti Coen，C.、Wenzel，M.：跨数学库的关系数据。收录人：Kaliszyk，C.、Brady，E.、Kohlhase，A.、Sacerdoti Coen，C.（编辑）CICM 2019。LNCS（LNAI），第11617卷，第61-76页。查姆施普林格（2019）。doi:10.1007/978-3-030-23250-4_5。https://kwarc.info/kohlhase/papers/cicm19-ulo.pdf ·Zbl 1428.68352号
[4] Kohlhase，M.，Müller，D.：STEX3包装系列。https://github.com/slatex/sTeX/blob/main/doc/sTeX-doc.pdf。2022年4月24日到访
[5] Kohlhase，M.，Müller，D.：系统描述：STEX3——基于LATEX的语义/主动数学文档生态系统。收录：Buzzard，K.，Kutsia，T.（编辑）《智能计算机数学》。LNAI，第13467卷，第184-188页。查姆施普林格（2022）。doi:10.1007/978-3-031-16681-5_13。https://kwarc.info/people/dmueller/pubs/cicm22stexsd.pdf ·Zbl 07691299号
[6] Kohlhase，M.等人：行星系统：web 3.0和STEM的活动文档。Procedia计算。科学。4 (2011). Sato，M.，Matsuoka，S.，Sloot，P.M.，van Albada，G.D.，Dongarra，J.（编辑）特刊：国际计算科学会议论文集。《可执行文件大挑战赛决赛》，第598-607页。doi:10.1016/j.procs.2011.04.063。https://kwarc.info/kohlhase/papers/epc11.pdf
[7] Kohlhase，M.:OMDoc-数学文档的开放标记格式[第1.2版]。LNAI 4180。斯普林格，海德堡（2006）。doi:10.1007/11826095。http://omdoc.org/pubs/omdoc1.2.pdf
[8] Lohr，D.、Berges，M.、Kohlhase，M.，Müller，D.、Rapp，M.：Y模型——智能教学系统背景下计算机科学任务的形式化（2022）。https://kwarc.info/kohlhase/submit/kali22.pdf
[9] Melis，E.：动态数学学习环境。Artif公司。智力。教育。12(4) (2001)
[10] Müller，D.，Kohlhase，M.：将形式数学注入LaTeX。收录：Buzzard，K.，Kutsia，T.（编辑）《智能计算机数学》。LNAI，第13467卷，第168-183页。查姆施普林格（2022）。doi:10.1007/978-3-031-16681-5_12。https://kwarc.info/people/dmueller/pubs/cicm22stexmmt.pdf ·Zbl 07691298号
[11] MMT-统一表示知识的语言和系统。项目网站。https://uniformal.github.io/。2019年1月15日到访
[12] Mann，W.C.，Thompson，S.A.：修辞结构理论：走向文本组织的功能理论。文本-Interdisc。《研究话语》第8（3）卷，243-281页（1988年）。doi:10.1515/text.1.1988.8.3.243。doi:10.1515/text.1.1988.8.3.243
[13] Ullrich，C.：基于网络学习的教学型课件生成。LNCS公司。施普林格，海德堡（2008）。doi:10.1007/978-3-540-88215-2。https://link.springer.com/book/10.1007/978-3-540-88215-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。