奥姆斯

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

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（39篇）1标准条款）

显示结果1至20的39。
按年份排序（引文）
  1. CalMe:贾可：基于抽象的信息技术：开放式机械推理的框架（2009）
  2. Carette、贾可、农民、William M.、索格、Volker：实验数学体系的理性重构（2007）
  3. 哥特列布森，Hanne；凯尔西，汤姆；马丁，厄休拉：计算数学的隐性验证（2005）
  4. Slissenko，AANTOL：时间算法验证的逻辑框架（2004）
  5. 阿曼多，Alessandro；Ranise，西尔维奥：制约语境重写。（2003）
  6. 哈特，迪特尔：作为工程学的演绎（2003）
  7. 所罗门，安得烈：砾岩数学系统的分布式计算（2003）
  8. 费尔，S·巴斯蒂安；Ridoux，奥利维尔：可嵌入定制逻辑的发展框架（2002）
  9. Zimmer，J·RGEN；Kohlhase，米迦勒：系统描述：分布式数学推理的MthWEB软件总线（2002）
  10. 亚当斯，安得烈；邓斯坦，马丁；Gottliebsen，Hanne；凯尔西，汤姆；Pig，y，OWRE，Y:计算机代数满足自动定理证明：MAPLE和PVS的集成（2001）
  11. 阿曼多，Alessandro；CoGoLo，Alessandro；Giunchiglia，Fausto；Ranise，西尔维奥：开放机械推理系统中的控制层：注释和策略（2001）
  12. 阿曼多，Alessandro；Kohlhase，米迦勒；Ranise，西尔维奥：基于KQML和OMRS的数学服务通信协议（2001）
  13. 阿曼多，Alessandro；济尼，Daniele：通过逻辑代理体系结构连接计算机代数和演绎系统（2001）
  14. Balman，Kiriste L. Land Auver，克里斯托弗：作为正式系统的会议场所的虚拟世界（2001）
  15. 坎贝尔，John A.（ED）；Roanes Lozano，Eugenio（ED）：人工智能和符号计算。AISC 2000国际会议，马德里，西班牙，7月17日- 19, 2000。修订论文（2001）
  16. 卡普蒂蒂、O.、科恩、A. M.：OpenMaCT在交互式数学文献中的作用（2001）
  17. 卡普蒂蒂，奥尔加；奥斯特代克，Martijn：交互式数学文献中的交流证明（2001）
  18. CaPurTi，奥尔加；奥斯特代克，Martijn：利用计算机代数预言的形式有效的素数证明（2001）
  19. GuunChigiga，F；PcCHIARI，P；TalCOTT，C:推理理论。面向开放式机械化推理系统的体系结构（2001）
  20. Kohlhase，米迦勒：OMDOC：迈向数学知识管理、分配和教学的互联网标准（2001）