数学聊天 swMATH ID: 30187 软件作者: 曼弗雷德·米尼米尔 描述: MathChat:通过社交机器计算数学。本研究的主要问题是:社交机器如何发现算法数学知识?社交机器是一个由从事有目的活动的人和计算机组成的系统。为了解决这个主要问题,提出了一个由社会机器发现的算法数学知识的经验和理论框架。该框架来源于分布式认知中的发现,这些发现记录了合作者如何进化数学算法。通过将分布式认知与分布式计算的标准消息传递模型相结合,引入了一种形式主义来指定社交机器的活动及其算法知识。此外,还介绍了软件系统MathChat,它为从事数学计算的社交机器提供了一个在线环境。描述了MathChat在网络分析教育中的应用,概述了该框架所涵盖的社交机器。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-96812-4_17 源代码: https://github.com/mincode/chconsole 关键词: 协作计算数学;协同聊天;数学社会机器 相关软件: IPython公司;朱庇特;SageMath公司;CoqHammer公司;RISCAL的;数学的计算机工具;鳄鱼.jl;OMDoc公司;MMT公司;米扎尔;伊莎贝尔/HOL;伊莎贝尔;Coq公司 引用于: 2文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 MathChat:通过社交机器计算数学。 Zbl 1417.68273号曼弗雷德·米尼米尔 2018 5位作者引用 1 Farmer,William M。 1 曼弗雷德·米尼米尔 1 帕斯莫尔,格兰特·奥尼 1 佛罗里达州拉贝 1 阿卜杜·尤塞夫。 连载1篇 1 计算机科学课堂讲稿 在2个字段中引用 2 计算机科学(68至XX) 1 总体主题;集合(00-XX) 按年份列出的引文