ORME公司 swMATH编号： 15064 软件作者： 莱斯坎，P。 描述： ORME既是一个重写规则实验室，又是一个工具箱，用于构建定理证明程序和与方程理论相关的软件。计算机代数系统（CAS）。 主页： http://www.sigsam.org/software/orme.html 相关软件： 汤姆;莫德;西洋陆军棋;LTSmin公司;版次;棱镜;PMaude公司;PSMaude公司;pyModelChecking（pyModel检查）;现场;MCMAS公司;Uppaal公司;NuSMV公司;mCRL2型;斯派克;RRL公司;方程;A3PAT飞机;Flyspeck飞点;斯派克 引用于： 7文件 全部的 前5名被10位作者引用 4 鲁宾·鲁比奥 3 马丁·奥列特，纳西索 3 阿尔贝托·维尔德乔 2 伊莎贝尔·皮塔 1 穆罕默德·阿迪 1 史蒂文·艾克 1 克洛德·基什内尔 1 皮埃尔·莱斯坎 1 何塞·梅塞盖尔·瓜伊塔 1 斯特拉图拉特，索林 引用于3个系列 3 程序设计中的逻辑和代数方法杂志 2 符号计算杂志 1 计算的形式方面 在2个字段中引用 7 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文