×

校准仪9

swMATH ID: 4969
软件作者： 威廉·麦库恩
描述： Prover9和Mace4:Prover9是一个用于一阶逻辑和方程逻辑的自动定理证明程序，Mace4搜索有限模型和反例。探测仪9是水獭探测仪的继承者。
主页： 网址：http://www.cs.unm.edu/~mccune/校准仪9/
相关软件： 梅斯4；水獭；E定理证明器；TPTP公司；VAMPIRE公司；伊莎贝尔/HOL；间隙；SPASS公司；Coq公司；香车叶草；米扎尔；伊莎贝尔；重新查看；大锤；回路；iProver（iProver）；HOL公司；超小卫星；z3（零3）；精益CoP
引用于： 223文件
全部的 前5名

231位作者引用

22 迈克尔·基扬（Michael K.Kinyon）。
17 彼得·霍夫纳
13 伯恩哈德·莫勒
11 乔治·斯特鲁斯
10 Sankappanavar、Hanamantagouda P。
9 彼得·吉普森
9 沃伊特·乔夫斯克，皮特
8 鲁道夫·伯哈默
8 胡安·曼纽尔·科内霍
8 尼克·菲亚拉（Nick C.Fiala）。
8 约瑟夫·乌尔班
7 萨尔瓦多卢卡斯
7 罗伯特·弗罗夫
6 亚当·格拉博夫斯基
6 阿列克谢·P·利西萨。
6 兰加纳坦帕德马纳班
5 乔昂·阿劳乔
5 马克·格里尔（Mark R.Greer）。
5 劳尔·古铁雷斯
5 Přemysl，杰德利奇卡
5 蒂莫西·斯托克斯（Timothy E.Stokes）。
4 罗兰·科希托
4 Dang，Han-Hing（韩红）
4 C.A.R.Tony Hoare
4 塞萨里·卡利西克
4 路易吉·桑托卡纳莱
4 斯蒂芬·舒尔茨
4 马修·斯宾克斯
4 卡住了，Insa
4 杰夫·萨特克利夫
三 基思·M·阿格雷。
三 玛丽亚·保拉（Maria Paola Bonacina）
三 Hitoshi Furusawa
三 沃尔特·古特曼
三 约翰·哈丁
三 玛丽亚·德·卢德斯·梅里尼·朱利安尼
三 伊恩·卫尔曼
三 弗里德里希·卫龙
三 张扬
2 纳塔内尔·阿尔佩
2 马可·博纳托
2 马克西米利亚诺·克里斯蒂亚
2 朱尔斯·德沙奈斯
2 安德烈·杜奈茨
2 东部，詹姆斯
2 安德鲁·菲什
2 布兰登·菲德尔森
2 迈克尔·格鲁宁格
2 马塞尔·杰克逊。
2 Jakubův，简
2 Annabelle K.McIver。
2 西芒，索萨甜瓜
2 内尔玛·莫雷拉
2 Koki西泽
2 米罗斯拉夫·奥沙克
2 尼古拉斯·佩尔蒂埃
2 戴维·佩雷拉（David P.Pereira）。
2 阿加塔·皮利托夫斯卡
2 阿尔班·蓬塞
2 李·雷尼
2 沃尔夫冈·雷夫
2 吉安弗兰科·罗西
2 Damian Sawicki
2 格哈德·谢尔霍恩
2 Daan J.C.斯塔特。
2 伊塔马尔·斯坦因
2 卡罗尔·沃克。
2 埃尔伯特·艾布纳·沃克
2 王寿峰
2 布鲁诺沃尔岑洛格尔古
2 安娜·扎莫伊斯卡·德齐尼奥（Anna Zamojska-Dzienio）
1 巴哈州阿默里
1 马可·阿巴迪尼
1 卢卡·埃特罗
1 伊夫蒂哈尔·艾哈迈德
1 伊姆蒂亚斯·艾哈迈德
1 雷扎·阿赫塔
1 杰西·阿拉玛
1 哈伊纳尔·安德雷卡
1 乔·佩德罗·阿拉乌乔
1 玛丽亚·利昂诺·阿劳乔
1 玛丽亚·特蕾莎·阿拉乌乔
1 罗布·D·阿尔森。
1 阿齐夫·穆罕默德，P.A。
1 迈克尔·比森。
1 克里斯托夫·埃瓦尔德·本兹穆勒
1 克利福德·伯格曼
1 Jan A.Bergstra。
1 贾斯敏·克里斯蒂安·布兰切特
1 默里·R·布雷纳。
1 托马斯·布伦戈斯
1 埃米尔·布雷斯
1 詹姆斯·布里奇。
1 乍得·布朗·爱德华
1 朱利安·布鲁内尔
1 曹、冯
1 瓦伦蒂娜·卡斯蒂格利奥尼
1 阿莱西亚·卡塔布里加
1 拉斐尔·考德利埃
1 查克拉博蒂，米希尔·库马尔
…还有131位作者
全部的 前5名

56篇连载文章被引用

17 自动推理杂志
13 半群论坛
9 程序设计中的逻辑和代数方法杂志
8 代数普遍性
7 卡罗莱纳大学数学评论
7 形式化数学
6 代数通讯
5 代数杂志
5 Studia Logica公司
4 软计算
4 逻辑与代数程序设计杂志
三 纯粹与应用代数杂志
三 美国数学学会会刊
三 拟群及相关系统
2 离散数学
2 信息科学
2 哲学逻辑杂志
2 斯洛伐克数学
2 欧洲组合数学杂志
2 订单
2 结理论杂志及其分歧
2 应用非经典逻辑杂志
2 应用逻辑杂志
2 计算机科学中的逻辑方法
1 信息学报
1 人工智能
1 信息处理信件
1 数学进展
1 Ars Combinatoria公司
1 捷克斯洛伐克数学杂志
1 演示数学
1 组合理论杂志。系列A
1 符号逻辑杂志
1 圣母院形式逻辑杂志
1 太平洋数学杂志
1 编程与计算机软件
1 拓扑及其应用
1 应用数学进展
1 计算机程序设计科学
1 注释di Matematica
1 符号计算杂志
1 JCMCC公司。组合数学与组合计算杂志
1 逻辑与计算杂志
1 国际代数与计算杂志
1 MSCS公司。计算机科学中的数学结构
1 数学杂志。旁遮普大学
1 澳大利亚组合数学杂志
1 代数集刊
1 数学与人工智能年鉴
1 计算机基础理论
1 葡萄牙数学。Nova Série公司
1 代数杂志及其应用
1 并行处理信件
1 计算机科学课堂讲稿
1 形式化推理杂志
1 伦敦皇家学会哲学学报。A.数学、物理和工程科学
全部的 前5名

18个领域被引用

126 计算机科学（68至XX）
86 数学逻辑和基础（03-XX）
65 群论与推广（20-XX）
37 阶、格、有序代数结构（06-XX）
27 一般代数系统（08-XX）
12 组合数学（05-XX）
8 结合环与代数（16-XX）
7 范畴理论；同调代数（18-XX）
6 几何图形（51至XX）
5 流形和细胞复合体（57至XX）
2 历史和传记（01-XX）
2 一般拓扑结构（54-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 总体主题；集合（00-XX）
1 代数几何（14-XX）
1 非结合环和代数（17-XX）
1 代数拓扑（55-XX）
1 信息和通信理论，电路（94-XX）

按年份列出的引文