×

那不勒斯

swMATH ID: 28307
软件作者： Cramer，M.，Koepke，P.，Schröder，B。
描述： Naproche项目（自然语言证明检查）从语言、哲学和数学的角度研究数学的半形式语言。Naproche的一个中心目标是为数学文本开发一种受控自然语言（CNL），并开发适用的校对软件，该软件检查用CNL编写的文本的语法和数学正确性。Naproche系统是Naproches项目开发的思想的实现。它接受普通数学语言的受控但丰富的子集，包括TeX样式的排版公式，并将其转换为形式语句。语言技巧被改编为允许常见的语法结构，并提取关于假设和结论的数学相关隐含信息。最后，使用自动定理证明器证明输入文本的正确性。
主页： https://korpora-exp.zim.uni-duisburg-essen.de/naproche网站/
相关软件： 米扎尔;对于TheL;Flyspeck飞点;E定理证明器;伊萨尔;SAD公司;Coq公司;伊莎贝尔/HOL;HOL灯;乳胶;精益;伊莎贝尔;马拉雷亚;第三方交易协议;开普勒98;GF公司;枣灰蝶属;自动化;数学溢出;Furstenberg拓扑
引用于： 14文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
Naproche系统中符号数学的解析和消歧。 Zbl 1335.68257号
马克斯·克拉默;彼得·科普克;伯恩哈德·施罗德
2011
全部的 前5名

30位作者引用

5 彼得·科普克
三 阿德里安·德隆
三 安东·洛伦岑
三 伯恩哈德·施罗德
2 约瑟夫·科内利
2 马克斯·克拉默
2 阿德里安·马蒂
2 艾莉森·皮斯
2 马塞尔·舒茨
1 贾斯敏·克里斯蒂安·布兰切特
1 卡塔兹纳，巴兹涅斯卡
1 梅林·卡尔
1 伯恩哈德·菲塞尼
1 穆罕·加内萨林加姆
1 威廉·蒂莫西·高尔斯
1 塞萨里·卡利西克
1 丹尼尔·库尔温
1 汉斯·雷伊
1 乌苏拉·马丁
1 莫里·鲁斯特，戴夫
1 劳伦斯·查尔斯·保尔森
1 阿恩·兰塔
1 克里斯·里德
1 德尼兹Sarikaya
1 马丁·施密特
1 埃里克·斯图森海克
1 约瑟夫·乌尔班
1 马卡里乌斯·温泽尔
1 吴淑倩
1 阿卜杜·尤塞夫。

3篇连载文章中引用

1 人工智能
1 自动推理杂志
1 形式化推理杂志

在4个字段中引用

11 计算机科学（68至XX）
4 数理逻辑与基础（03-XX）
三 总体主题；集合（00-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文