×

数学聊天

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文件

按年份列出的引文