萨奇莫 92份文件引用(1988–2023) 软件作者： Manthey，R.、Bry，F。 相关软件： TPTP；水獭；SETHEO… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨塔拉克 67篇文献引用（2010年-2023年） 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
KL-ONE公司 37篇文献引用(2001–2022) 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
精益CoP 40篇文献引用(2001–2023) 软件作者： 延斯·奥顿 相关软件： 依兰CoP；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
LoTREC公司 29篇文献引用(2001–2023) 软件作者： 奥利维尔·盖斯克特（Olivier Gasquet）；安德烈亚斯·赫齐格（Andreas Herzig）；多米尼克·朗金；穆罕默德·萨哈德 相关软件： PVS；SPASS；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明器；马拉雷亚；Mizar… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
泽农 21篇文献引用(2007–2022) 软件作者： 理查德·博尼康；戴维·德拉哈耶（David Delahaye）；Damien Doligez 相关软件： Coq；TPTP；dedukti… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： E定理证明器；MaLeCoP；精简CoP… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
太阳能 引用于19份文件(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明器；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ModLeanTAP模式 引用于19份文件(1998–2019) 软件作者： 贝恩哈德·贝克特；拉杰夫·戈尔 相关软件： 精益TAP；Coq；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TTM公司 18篇文献引用(2007–2023) 软件作者： J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas 相关软件： TRP++；拉比尼泽；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HARP（HARP） 15篇文献引用(1990–2020) 软件作者： Opacher，F。；苏恩，E 相关软件： SETHEO公司；TPTP；3TAP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MetTeL公司 16篇文献引用(2011–2021) 软件作者： 蒂什科夫斯基，德米特里；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪 相关软件： LoTREC；KL-ONE；Gen2sat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
斯巴达克斯 14篇文献引用(2010–2021) 软件作者： 丹尼尔·戈兹曼（Daniel Götzmann）；马克·卡明斯基；格特·斯莫尔卡 相关软件： HTab；FaCT++；InKreSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ABC4EFT公司 14篇文献引用(2012–2023) 软件作者： 李浩林；任哲；肖明磊；于江浩；郑宇辉 相关软件： Z；REPSN；目标@形状; … 主要字段： 数论（11-XX）；代数几何（14-XX）；偏微分方程（35-XX）…
E-KRHper公司 在11份文件中引用(2007–2021) 软件作者： 比约恩·佩尔泽；Christoph Wernhard公司 相关软件： E定理证明器；E-Darvin；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
3TAP公司 13份文件引用(1993–2019) 软件作者： Hähnle，雷纳；贝恩哈德·贝克特；斯特凡·格伯丁；沃纳·科尼格 相关软件： SETHEO公司；HARP；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
fCube（多维数据集） 10篇文献引用（2010年至2022年） 软件作者： 毛罗·法拉利；佛罗伦萨，卡米洛；吉多·菲奥里诺 相关软件： ILTP；Imogen；IntHistGC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MAVEN公司 9份文件引用(2007–2013) 软件作者： Max Goldman；埃米利亚·卡茨（Emilia Katz）；Shmuel Katz 相关软件： ProMoVer；CVPP；Aspectual Caml… 主要字段： 计算机科学（68-XX）
InKreSAT公司 9份文件引用(2013–2022) 软件作者： 马克·卡明斯基（Mark Kaminski）；托比亚斯·特比 相关软件： 斯巴达克斯；BDDTab；传真++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
bs3np 8份文件引用(2008–2023) 软件作者： 辛国策；张特伦斯·Y·J。 相关软件： 组织环境信息系统；枫树；罗宾斯 主要字段： 组合数学（05-XX）；交换代数（13-XX）；结合环与代数（16-XX）
HyLoRes公司 7份文件引用(2002–2020) 软件作者： Areces，C。；J.Heguiabehere。 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
举起 7份文件引用(2018–2023) 软件作者： 李嘉图（Ricardo Fukasawa）；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： MIPLIB公司；MIPLIB2003；onerow… 主要字段： 运筹学、数学规划（90-XX）
TATL公司 7份文件引用(2009–2017) 软件作者： 艾米莉·大卫 相关软件： CL校准仪；VAMPIRE公司；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
利维坦 6篇文献引用(2016–2021) 软件作者： 贝特罗（Matteo Bertello）；吉甘特，尼古拉；安吉洛·蒙塔纳里（Angelo Montanari）；马克·雷诺兹 相关软件： NuSMV；TRP++；阿尔塔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
西比尔 6篇文献引用(2010–2020) 软件作者： 塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Cgllandp公司 5份文件引用(2009–2012) 软件作者： Bonami，P.，Balas，E。 相关软件： MIPLIB公司；MIPLIB2003；COIN-OR… 主要字段： 运筹学、数学规划（90-XX）
CTL-RP公司 5份文件引用(2010–2021) 软件作者： 张澜；乌尔里希·赫斯塔特；克莱尔·狄克逊 相关软件： SPASS；TRP++；TeMP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
摘要完整性 4份文件引用(2014–2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Lotrec方案 4份文件引用(2011–2015) 软件作者： 弗朗索瓦·施瓦岑特鲁伯 相关软件： LoTREC；SCIFF；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TWB公司 3份文件引用(2009–2019) 软件作者： 彼得罗·阿巴特；拉杰夫·戈尔 相关软件： LoTREC；MSPASS；SableCC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DRAGO公司 2份文件引用(2009–2014) 软件作者： L.Serafini和A.Tamilin 相关软件： 赛车手；FaCT++；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
希律王 3份文件引用(2007–2020) 软件作者： Marta Cialdea Mayer、Serenella Cerrito 相关软件： 彼拉多；斯巴达克斯；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
纳博德斯 3份文件引用(2022–2023) 软件作者： 卡拉米特罗斯，D。 相关软件： 单样条曲线；数字Py；Matplotlib… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）…
奥诺 3份文件引用(2018–2022) 软件作者： 里卡多Fukasawa；劳伦·波里耶（Laurent Poirier）；阿林森·S·泽维尔。 相关软件： 举起；MIPLIB公司；无限群松弛… 主要字段： 运筹学、数学规划（90-XX）
彼拉多 3份文件引用(2007–2020) 软件作者： Marta Cialdea Mayer、Serenella Cerrito 相关软件： 希律王；斯巴达克斯；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PITP项目 3份文件引用(2007–2008) 软件作者： 亚历山德罗·阿韦隆；吉多·菲奥里诺；乌戈·莫斯卡托 相关软件： ILTP；Nuprl；Coq公司 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾伦TAP 2份文件引用(2008–2021) 软件作者： Near，Joseph P。；William E.伯德。；丹尼尔·弗里德曼（Daniel P.Friedman）。 相关软件： Freshml；精益TAP；卡伦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CL校准仪 2份文件引用(2014–2015) 软件作者： Nalon，Cláudia；张澜；克莱尔·狄克逊；乌尔里希·赫斯塔特 相关软件： TATL；VAMPIRE公司；TRP++… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
戈兰 2份文件引用(2022–2023) 软件作者： 朱莉·凯勒；Johann Rosain；戴维·德拉哈耶（David Delahaye）；西蒙·罗比拉德；布齐安·欣德·莉莉亚 相关软件： TPTP；iProver；睫毛… 主要字段： 计算机科学（68-XX）
GQML公司 2份文件引用（2002年至2007年） 软件作者： 提昂，V。；塞里托，S。；玛尔塔·恰尔迪亚·梅耶 相关软件： TABLEAUX公司；吞咽；ModLeanTAP模式 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
JTabWb公司 2份文件引用(2017–2019) 软件作者： 毛罗·法拉利；佛罗伦萨，卡米洛；吉多·菲奥里诺 相关软件： Imogen；fCube；ILTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KEMS公司 2份文件引用（2009-2016年） 软件作者： 阿道夫·内托；马塞洛·芬格 相关软件： MetTeL；Gen2sat；NESCOND… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
注册Stab 1份文件引用（2010年） 软件作者： Vincent Aravantinos；卡费拉、里卡多；尼古拉斯·佩尔蒂埃 相关软件： TPTP；LOUI；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
x翼 2份文件引用(2017) 软件作者： Zoomer分析有限责任公司。 相关软件： 大熊猫；数字Py；TensorFlow… 主要字段： 总体主题；藏品（00-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）