×
安德烈亚·科尔哈斯;迈克尔·科尔哈斯

电子表格与框架的交互：探索数学实践。 （英语） Zbl 1247.68274号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学课程讲稿5625。人工智能课堂讲稿，341-356（2009）。
小结：由于数学实际上是关于数学家所做的事情，在本文中，我们将研究框架的数学实践，在框架中，感兴趣的对象是根据理解良好的数学结构来看待的。新的视角不仅可以加深对某一方面的理解。对象，它还促进了新的见解。我们提出了一个理论图背景下的框架模型，并展示了如何利用框架来增强与MKM系统的交互。我们使用SACHS系统的框架扩展（MS Excel的语义帮助系统）作为一个具体示例。
关于整个系列，请参见[Zbl 1165.68005号].

引用于2文件

MSC公司：

68立方英尺 知识表示
05立方厘米99 图论
68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等）

软件：

SACHS公司;擅长;数学Dox;OMDoc公司;MMT公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Kohlhase}和\textit{M.Kohlhase}，Lect。注释计算。科学。5625314-356（2009年；兹bl 1247.68274）
全文： DOI程序

参考文献：

[1] Barendregt，H.，Cohen，A.M.：用人和机器来表示和处理数学概念。摘自：ISSAC 2000：2000年符号和代数计算国际研讨会论文集。ACM，纽约（2000年）
[2] Borwein，J.M.，Farmer，W.M.（编辑）：MKM 2006。LNCS（LNAI），第4108卷。斯普林格，海德堡（2006）·Zbl 1114.68004号
[3] Cohen，A.M.、Cuypers，H.、Barrero，E.R.：Mathdox：网络上的数学文档。在：OMDoc–数学文档的开放标记格式【1.2版】【Koh06】，第26.7章，第278–282页
[4] Farmer，W.：理论间推理的基础设施。收录：McAllester，D.（编辑）CADE 2000。LNCS（LNAI），第1831卷，第115-131页。施普林格，海德堡（2000）·Zbl 0963.68179号 ·doi:10.1007/10721959（8）
[5] Farmer，W.，Guttman，J.，Thayer，X.：小理论。收录：Kapur，D.（编辑）CADE 1992。LNCS，第607卷，第467-581页。斯普林格，海德堡（1992）
[6] Holzkamp，K.：勒恩：Subjektwissenschaftliche Grundlegung。校园Verlag（1995）
[7] Kohlhase，A.，Kohlhaze，M.：MKM实践社区：扩展模型。收录：Borwein，Farmer（编辑）[BF06]，第179-193页·Zbl 1188.68281号 ·doi:10.1007/11812289_15
[8] Kohlhase，A.，Kohlhaze，M.：使用MKM技术补偿电子表格的计算偏差。作者：Carette，J.、Dixon，L.、Sacerdoti Coen，C.、Watt，S.M.（编辑）Calculemus/MKM 2009。LNCS（LNAI），第5625卷，第357-372页。斯普林格，海德堡（2009）·Zbl 1247.68275号
[9] Kohlhase，A.，Kohlhace，M.：教育的语义知识管理。IEEE会议录，教育技术专刊96（6），970-989（2008）·Zbl 1176.68230号
[10] Kohlhase，M.，Mahnke，A.，Müller，C.：管理文档内容和叙事结构中的变体。摘自：Hinneburg，A.（编辑）Wissens-und Erfahrungsmanagement LWA（Lernen，Wissensentdeckung und Adaptivität）会议记录，第324-229页。马丁·卢瑟大学哈利·维滕贝格分校（2007年）
[11] Kohlhase，M.：OMDoc——数学文档的开放标记格式【1.2版】。LNCS（LNAI），第4180卷。斯普林格，海德堡（2006）·doi:10.1007/11826095
[12] Kerber，M.，Pollet，M.：数学知识管理的难题。In：Kohlhase，M.（编辑）MKM 2005。LNCS（LNAI），第3863卷，第81-95页。斯普林格，海德堡（2006）·Zbl 1151.68665号 ·doi:10.1007/11618027_6
[13] Kamareddine，F.，Wells，J.B.，Zenglere，C.：用数学语言计算数学文本。电子。理论注释。计算。科学。205，5–30（2008年）·Zbl 1277.68288号 ·doi:10.1016/j.entcs.2008.03.063
[14] Mossakowski，T.，Autexier，S.，Hutter，D.：用隐藏扩展开发图。摘自：Hussmann，H.（编辑）FASE 2001。LNCS，第2029卷，第269-284页。斯普林格，海德堡（2001）·Zbl 0977.68657号 ·文件编号：10.1007/3-540-45314-8_20
[15] Rabe，F.，Kohlhase，M.：模块化知识的交换格式。收录：Rudnicki，P.，Sutcliffe，G.（编辑）《知识交流：自动校对员和证明助理》（KEAPPA）（2008年11月）
[16] Rabe，F.，Kohlhase，M.：数学理论的网络可缩放模块系统。符号计算杂志（手稿，待提交）（2009年）·Zbl 1358.68283号
[17] Charles，F.：施密特。富有成效的思维。。。格式塔强调（2009），网址：http://www.rci.rutgers.edu/cfs/305_html/格式塔/格式塔.html
[18] Snow，D.A.、Rochford，E.B.、Worden，S.K.、Benford，R.D.：框架对齐过程、微机动化和运动参与。《美国社会学评论》51（4），464–481（1986）·doi:10.2307/2095581
[19] 温斯特伊格，W.：关于使用集合理论证明程序解决残缺棋盘问题。收录：Linton，S.，Sebastiani，R.（编辑）《2001年Calculemus研讨会论文集》，意大利锡耶纳，第28-47页（2001）
[20] Winograd，T.：电子表格。摘自：Winograd，T.、Bennett，J.、de Young，L.、Hartfield，B.（编辑）《将设计引入软件》，1996年，第228-231页。Addison-Wesley，雷丁（2006）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。