OMRS公司

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