OMRS公司

基于KQML和OMRS的数学服务通信协议本文描述了基于KQML（知识查询和操作语言）和OMRS（开放机械化推理系统）的数学服务通信协议形式化的第一思想。其主张是，数学服务的通信协议的交互级别可以是相对通用的（因此KQML就足够了），只要数学服务的计算行为和内部状态的本体论足够表达和简洁（我们在OMRS中有）本文的内容是对OMRS中交互层定义的探索性的第一步，给出了基于OPENMATH标准的具体语法，并给出了分布式定理证明和符号计算环境下数学服务通信的语义。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献39条,1标准件)

显示第1到第20个结果，共39个。
按年份排序(引用)
  1. 雅克·卡尔梅特：《基于抽象的信息技术：开放机械化推理框架》（2009）
  2. 卡莱特，雅克；农民，威廉M。；索尔格：实验数学系统的理性重构（2007）
  3. 戈特利伯森，汉恩；凯尔西，汤姆；Martin，Ursula:计算数学的隐藏验证（2005）
  4. Slissenko，Anatol:时间算法验证的逻辑框架（2004）
  5. 阿曼多，亚历山德罗；拉妮丝，西尔维奥：约束语境重写。（2003年）
  6. 赫特，迪特：演绎作为一门工程科学（2003）
  7. Andrew所罗门：混合数学系统的分布式计算（2003）
  8. 费雷，塞巴斯蒂安；Ridoux，Olivier:开发可嵌入定制逻辑的框架（2002）
  9. 齐默，于尔根；Kohlhase，Michael:系统描述：用于分布式数学推理的MathWeb软件总线（2002）
  10. 亚当斯，安德鲁；邓斯坦，马丁；戈特利伯森，汉恩；凯尔西，汤姆；马丁，乌苏拉；Owre，Sam:计算机代数满足自动定理证明：整合Maple和PVS（2001）
  11. 阿曼多，亚历山德罗；科格里奥，亚历山德罗；朱西格里亚，福斯托；拉尼斯，西尔维奥：开放机械化推理系统中的控制层：注释和策略（2001）
  12. 阿曼多，亚历山德罗；科哈塞，迈克尔；Ranise，Silvio:基于KQML和OMRS的数学服务通信协议（2001）
  13. 阿曼多，亚历山德罗；通过逻辑代理体系结构连接计算机代数和演绎系统（2001）
  14. 贝尔曼，科斯蒂L。；克里斯托弗·兰道尔：《作为正式系统会议场所的虚拟世界》（2001）
  15. 约翰A.坎贝尔（编辑）；罗恩斯·洛扎诺，尤金尼奥（编辑）：人工智能与符号计算。AISC 2000国际会议，西班牙马德里，2000年7月17日至19日。修订文件（2001年）
  16. 卡普罗蒂，O。；2001年开放式数学文献中的互动角色
  17. 卡普罗蒂，奥尔加；Oostdijk，Martijn:交互数学文献中的证明交流（2001）
  18. 卡普罗蒂，奥尔加；Oostdijk，Martijn:使用计算机代数预言的形式有效素性证明（2001）
  19. 朱西格里亚，F。；佩奇亚里，P。；Talcott，C.：推理理论。面向开放机械化推理系统的体系结构（2001）
  20. Kohlhase，Michael:OMDOC：面向数学知识管理、分配和教学的互联网标准（2001）