E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： 吸血鬼；TPTP；SPASS… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
佩斯卡 198篇文献引用(2001–2023) 软件作者： 阿内·兰塔 相关软件： MiniML；Coq；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 莱维斯克，赫克托·J。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；代理峰值；METATEM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
小脚 55份文件引用(2004–2023) 软件作者： J.伯丁、C.加尔卡尼奥、P.W.奥赫恩。 相关软件： VeriFast；jStar；HIP… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明；吸血鬼；Mizar… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，纽约州。；H.J.列夫斯克。 相关软件： 高尔夫；代理峰值；METATEM… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
UCPOP公司 40篇文献引用(1993–2022) 软件作者： 彭伯蒂，J.S。；焊接，D。 相关软件： 图形平面图；神童；PDDL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；辛纳尔，阿夫拉姆；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
MTT公司 27篇文献引用(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
凯伊梅拉X 26篇文献引用(2015–2024) 软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。 相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
海绵体 23篇文献引用(2001–2021) 软件作者： A.P.道伊德 相关软件： TETRAD公司；HdBCS；玻璃… 主要字段： 组合数学（05-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
D装货商 12份文件引用（2009年-2023年） 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；Janičić，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
ACUOS2号机组 13份文件引用(2014–2022) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 相关软件： 莫德；莫德-NPA；塔马林… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
SRASS公司 12份文件引用(2007–2019) 软件作者： Geoff Sutcliffe；尤里·普齐斯 相关软件： E定理证明；TPTP；玛拉雷亚… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
第3章 10篇文献引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞盖尔 相关软件： 莫德；CRC 3；MTT… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）…
InvX公司 10篇文献引用(1989–2013) 软件作者： H.科什内维桑；K.M.Sephton公司 相关软件： LRinv；VMTL；筑波… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
CRC 3号机组 9份文件引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞盖尔 相关软件： 莫德；MTT；第3章… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
DLog（数据日志） 8份文件引用(2008–2020) 软件作者： 格格利·卢卡西（Gergely Lukácsy）；佩特尔·塞雷迪 相关软件： 精益TAP；颗粒；接通DLV… 主要字段： 计算机科学（68-XX）
HOL-Omega餐厅 9份文件引用(2009–2019) 软件作者： 彼得·霍米埃（Peter V.Homeier）。 相关软件： HOL；伊莎贝尔；Coq… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
资产负债管理 8份文件引用（2012年至2020年） 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
FALCON公司 8份文件引用(1996–2022) 软件作者： 张，J。 相关软件： Mace4；MiniSat；ModGen… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
克里普克 8份文件引用(1980–2005) 软件作者： 迈克尔·麦克罗比（Michael A.McRobbie）。；Thistlewaite，Paul B。；罗伯特·梅耶（Robert K.Meyer）。 相关软件： 表格；GLEFatinf公司 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
遗传有限集 7份文件引用(2015–2020) 软件作者： 劳伦斯·保尔森 相关软件： 有限自动机HF；Coq；Myhill-Nerode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
LNgen（液化天然气） 7份文件引用(2011–2021) 软件作者： 艾德米尔，B.E.，魏里奇，S。 相关软件： 流行标志；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
NESCOND公司 7份文件引用(2014–2023) 软件作者： 尼古拉·奥利维蒂；吉安·卢卡（Gian Luca），披萨 相关软件： 康德莱恩；月球；KLMLean… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
EL2MCS公司 5份文件引用(2015–2018) 软件作者： Arif，M.F.，Mencía，C.，Marques-Silva，J。 相关软件： 信标；只是；HgMUS… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Twee（推特） 6篇文献引用(2018–2022) 软件作者： 北斯莫尔博内。 相关软件： Waldmeister；E定理证明；TPTP… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
PREGO公司 5份文件引用(2015–2020) 软件作者： Belle，V.，H.J.Levesque 相关软件： 博客；ProbLog；高尔夫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
洞穴堆积 5份文件引用(2010–2022) 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·蒂尔曼；乔纳森·德·哈勒 相关软件： z3；Z3str3；陌生人… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GLINTS公司 4份文件引用（2019年-2023年） 软件作者： María Alpuente、Angel Cuenca Ortega、Santiago Escobar、Julia Sapiña 相关软件： 莫德；ABETS；MTT… 主要字段： 通用代数系统（08-XX）；计算机科学（68-XX）
努恰库 4份文件引用(2016–2022) 软件作者： 安德鲁·雷诺兹（Andrew Reynolds）；布兰切特，贾斯敏·克里斯蒂安；西蒙·克鲁恩斯（Simon Cruanes）；塞萨尔·蒂内利 相关软件： CVC4；z3；Nitpick… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
OntoDebug（开始调试） 4份文件引用(2018–2023) 软件作者： Schekotihin、Konstantin；Patrick Rodler；沃尔夫冈·施密德 相关软件： 颗粒；合并解释；赫密特… 主要字段： 计算机科学（68-XX）
第2版 4份文件引用(2020–2022) 软件作者： Kumar，S.、Hooi，B.、Makhija，D.、Kumar，M.、Faloutsos，C.、Subrahmanian，V。 相关软件： GLAD；奇数球；ORCA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
阿迪门·苏莫 2份文件引用(2015–2019) 软件作者： Alvez J.、Lucio P.、Rigau G 相关软件： 知识；雅高；BabelNet… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
差异_游戏_逻辑 引用于3份文件（2015年至2022年） 软件作者： 安德烈·普拉泽 相关软件： 凯伊迈拉；Bellerophon公司；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
欧洲CLID 引用于3份文件(1995–2022) 软件作者： 贾尼契奇，普雷德拉格；斯特万·科尔迪奇 相关软件： ArgoCLP；Coq；TPTP… 主要字段： 数理逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）
LWB公司 引用于3份文件(1996–2009) 软件作者： 戈雷，拉吉耶夫；沃尔夫冈·海恩勒；阿兰·豪尔丁 相关软件： MiniSat；吸血鬼；MSPASS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Pronto公司 引用于3份文件(2015–2017) 软件作者： 帕维尔·克里诺夫；比扬·帕西娅 相关软件： 三重奏；Ontop；MayBMS… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
AXIOMS公司 2份文件引用(1998) 软件作者： 拉乌尔·卡瓦加斯（Raoul E.Cawagas）。 相关软件： —— 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
尤奥迪洛斯 2份文件引用(1989–1998) 软件作者： Toshiro Minami；Hajime Sawamura；恭子筑屋 相关软件： HOL；伊莎贝尔 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
金德Spec 2份文件引用(2017–2020) 软件作者： María Alpuente、Daniel Pardo、Alicia Villanueva 相关软件： z3；内核；莫德… 主要字段： 计算机科学（68-XX）
PCM库 2份文件引用(2020) 软件作者： Nanevski，A.、Ley-Wild，R.、Sergey，I.、Delbianco，G.、Trunov，A 相关软件： github；精益；Coq… 主要字段： 计算机科学（68-XX）
文特 2份文件引用(2017–2021) 软件作者： 玛丽安娜·吉兰多；莱尔曼，比约恩；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca）；维塔利斯，昆廷 相关软件： NESCOND；康德莱恩；KLMLean… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
公理范畴理论 1份文件引用(2020) 软件作者： Christoph Benzmüller；达纳·斯科特 相关软件： 吸血鬼；Nitpick公司；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
代码数据类型 1份文件引用(2015) 软件作者： 德米特里·特拉泰尔 相关软件： NetKAT；MONA；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
迪兹克斯 1份文件引用(2023) 软件作者： 波奥尔，博尔迪扎尔；罗伯特一世·布斯。；Carette，Titouan；约翰·范德韦特林（John van de Wetering）；是的，Lia 相关软件： PyZX；蟒蛇 主要字段： 量子理论（81-XX）
注入类型 1份文件引用(2021) 软件作者： Hötzel Escardó，马汀 相关软件： github；阿格达；Coq公司 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）
科内尔公司 1份文件引用(2020) 软件作者： 马利亚阿尔普特；丹尼尔·帕尔多（Daniel Pardo）；艾丽西亚·维拉纽埃娃 相关软件： 金级规范；莫德；z3… 主要字段： 计算机科学（68-XX）
MoMo公司 1份文件引用（2007年） 软件作者： 叶卡捷琳娜·奥夫钦尼科娃；弗兰克·里希特 相关软件： —— 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
庞加莱_Disc 1份文件引用(2021) 软件作者： Danijela Simić、Filip Marić和Pierre Boutry 相关软件： Complex_Geometry；GeoCoq；存档正式证据… 主要字段： 计算机科学（68-XX）
重建器 1份文件引用(2020) 软件作者： 阿里尔·乔纳森·罗菲 相关软件： PLM；伊莎贝尔/HOL 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
斯通-克莱恩 1份文件引用（2018年） 软件作者： 沃尔特·古特曼 相关软件： 克莱纳代数；关系代数；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）