DGM公司 358份文件引用(2017–2024) 软件作者： 贾斯汀·西里尼亚诺；康斯坦蒂诺斯·斯皮利奥普洛斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；代数拓扑（55-XX）…
CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
iPiano公司 142篇文献引用(2014–2024) 软件作者： Ochs，Peter；陈云锦；托马斯·布罗克斯（Thomas Brox）；托马斯·波克 相关软件： iPiasco；UNLocBoX；L-BFGS… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
名义伊莎贝尔 82份文件引用(2005–2023) 软件作者： 城市，基督教；塞萨里·卡利西克 相关软件： Isabelle/HOL；流行标志；Coq… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf公司；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
高通公司 54篇文献引用(2002–2022) 软件作者： 斯坦尼斯拉夫·布西金 相关软件： DIMACS；最大AO；禁忌搜索… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CeTA公司 49篇文献引用（2009年-2023年） 软件作者： 勒内，蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者： 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
分析 33篇文献引用(1993–2022) 软件作者： Bauer，A.、Clarke，E.M.、Zhao 相关软件： 定理；Nuprl；PVS… 主要字段： 数理逻辑与基础（03-XX）；实函数（26-XX）；计算机科学（68-XX）…
IsaPlanner公司 33篇文献引用(2000–2022) 软件作者： 卢卡斯·狄克逊；莫阿·约翰逊 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
ITP公司 31份文件引用(2005–2023) 软件作者： Clavel，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
地理1.1 31份文件引用(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
伊朗CoP 32篇文献引用(2005–2022) 软件作者： 延斯·奥滕 相关软件： 精益CoP；TPTP；VAMPIRE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
人力资源 27篇文献引用(2002–2022) 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： E定理证明；MaLeCoP；精简CoP… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
DCTP公司 21篇文献引用(2001–2017) 软件作者： Letz，R.，Stenz，G 相关软件： E定理证明；SPASS；VAMPIRE… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
拉瓦 20篇文献引用(2011–2023) 软件作者： 玛格努斯·奥·米林（Magnus O.Myreen）。；贾里德·戴维斯 相关软件： 吉塔瓦；HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
海尔雨果 17篇文献引用(2000–2011) 软件作者： Groote，J.F.，Warners，J.P。 相关软件： SATO；糠；DIMACS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CSP防护 17篇文献引用(2005–2022) 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
那不勒斯 14篇文献引用（2010年至2021年） 软件作者： Cramer，M.，Koepke，P.，Schröder，B。 相关软件： 米扎尔；对于TheL；Flyspeck… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
椭圆覆盖物.lib 14篇文献引用(2015–2024) 软件作者： Janko Böhm、Kathrin Bringmann、Arne Buchholz、Hannah Markwig 相关软件： 单一；鹦鹉螺；痕迹… 主要字段： 数论（11-XX）；代数几何（14-XX）；复变量函数（30-XX）…
MMP/几何仪 15篇文献引用(2004–2023) 软件作者： 高小山；林强 相关软件： GEX；GCLC；GeoGebra… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
跟踪器 14篇文献引用(2012–2022) 软件作者： Jaffar，J.、Navas，J.A.、Santosa，A.E。 相关软件： SeaHorn；z3；VeriMAP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ACL2 12份文件引用(2007–2021) 软件作者： 彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆·弗隆；J Strother摩尔 相关软件： ACL2；芝诺；NQTHM… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
飞行管理系统 在11份文件中引用(2014–2021) 软件作者： 吉拉德·勒曼；泰勒·莫努 相关软件： 导缆器流量；robustbase；PhasePack… 主要字段： 全局分析，流形分析（58-XX）；统计学（62-XX）；数值分析（65-XX）…
穆斯卡迪特 10篇文献引用(1989–2021) 软件作者： 多米尼克·帕斯特 相关软件： 水獭；自动化；伊莎贝尔/采埃孚… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
埃德蒙兹-卡普 10篇文献引用(2016–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；塞菲加·雷扎 相关软件： Isabelle/HOL；存档正式证据；Gabow SCC… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
生成UHG 8份文件引用(2019–2022) 软件作者： Jan Goedgebeur、Barbara Meersman、Carol T.Zamfirescu 相关软件： 图形之家；鹦鹉螺；snarkhunter… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
2月2日 8份文件引用(1994–2012) 软件作者： 约瑟夫·戈根 相关软件： OBJ3；莫德；Stratego… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）…
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
symmChainGens系统 8份文件引用(2013–2020) 软件作者： 克里斯托弗·希勒（Christopher J.Hillar）。；亚伯拉罕·马丁·德尔·坎波 相关软件： 四点二分；4ti2；操作数… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
MIONet公司 7份文件引用(2023–2024) 软件作者： 金、彭湛；孟帅；卢，卢 相关软件： DeepONet；亚当；DeepXDE… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASMKeY公司 6篇文献引用(2004–2012) 软件作者： 南辰，斯坦尼斯拉斯；Robert F.Stärk。 相关软件： 凯伊；ANTLR；Why3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
GenerationToricFano四倍 6篇文献引用(2017–2023) 软件作者： 内森·普拉布·奈克 相关软件： 奎弗斯热带品种；StrongExcCollsMaxFourfolds；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
Twee（推特） 6篇文献引用(2018–2022) 软件作者： 北斯莫尔博内。 相关软件： Waldmeister；E定理证明；TPTP… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
CoqEAL公司 5份文件引用(2012–2021) 软件作者： Dénès M；西里尔·科恩；安德斯·莫特伯格 相关软件： Coq；Coq/SS反射；精益… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
FOOL（足球） 4份文件引用(2015–2021) 软件作者： 科特利尼科夫（Kotelnikov），叶夫根尼（Evgenii）；劳拉·科夫亚茨（Laura Kov'acs）；安德烈·沃伦科夫 相关软件： TPTP；大锤；SMT-LIB… 主要字段： 计算机科学（68-XX）
彩色周长 4份文件引用(2012–2023) 软件作者： 拉尔斯·诺琴斯基 相关软件： Isabelle/HOL；存档正式证据；大锤… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi结石；名义上的伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
UODV公司 4份文件引用(2003–2012) 软件作者： Jing、Xiao-Yuan；David Zhang；金，钟 相关软件： AR面；费雷特；PolyU掌纹… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
ACuLa博士 2份文件引用(2007–2012) 软件作者： Dale Vaillancourt、Rex Page、Matthias Felleisen 相关软件： DrScheme；ACL2；校样板… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
天然气 2份文件引用(2012–2019) 软件作者： 艾米莉·霍根（Emilie Hogan）；多龙·泽尔伯格 相关软件： 枫树 主要字段： 实函数（26-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
光环 3份文件引用(2013–2017) 软件作者： 迪米特里厄斯病毒性肠炎；西蒙·佩顿·琼斯；科恩·克莱森；丹·罗森 相关软件： z3；哈斯克尔；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MBT优化器 3份文件引用(2021–2023) 软件作者： Tuyen Trung Truong、Tuan Hang Nguyen 相关软件： github；蟒蛇；Matplotlib… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
R-SATCHMO公司 2份文件引用(2004–2005) 软件作者： 何立峰；赵玉燕；伊藤秀内里 相关软件： SATCHMOREBID；I-SATCHMO；萨奇莫… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
简单APL 3份文件引用(2006–2016) 软件作者： Alechina，N。；Dastani，M。；Khan，F。；洛根，B。；梅耶，J.-J.Ch。 相关软件： 2APL；代理峰值；杰森… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TS公司# 2份文件引用(2014–2017) 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；卡尔蒂基扬·巴尔干；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
艾伦TAP 2份文件引用（2008年至2021年） 软件作者： Near，Joseph P。；William E.伯德。；丹尼尔·弗里德曼（Daniel P.Friedman）。 相关软件： Freshml；精益TAP；卡伦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·莫里斯。；马克·霍华德 相关软件： 卡利班；克利奥；米兰达 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
克里奥 2份文件引用(1991) 软件作者： 詹姆斯·莫里斯。；马克·霍华德 相关软件： 卡利班；阿里尔；米兰达 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
CoCLAM公司 2份文件引用(2000–2012) 软件作者： 洛杉矶丹尼斯。；邦迪，A。；我是格林。 相关软件： 牡蛎；欧米茄；蛤蜊… 主要字段： 阶、格、有序代数结构（06-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
连接 2份文件引用(2007–2008) 软件作者： 埃里克森，E。；古斯塔夫森，T.S。 相关软件： 单一 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
构造性证明FLP 2份文件引用(2016–2018) 软件作者： 本杰明·比斯平；布罗德曼，保罗·大卫；蒂姆·荣尼尼；克里斯蒂娜·里克曼；Seidler，Henning；安克·Stüber；阿诺·威廉·韦德纳；彼得斯（Kirstin Peters）；乌韦·内斯特曼 相关软件： 存档正式证据；IronFleet公司；CVC4… 主要字段： 计算机科学（68-XX）
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ILF-设置 2份文件引用(1997) 软件作者： 安德烈亚斯·沃尔夫（Andreas Wolf）；约翰·舒曼 相关软件： SETHEO公司；E-SETHEO；HOL… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
难以置信的打样机 2份文件引用(2016–2018) 软件作者： 约阿希姆·布雷特纳（Joachim Breitner）；丹尼斯·洛纳 相关软件： Isabelle/HOL；github；格栅… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MFMC_可计数 2份文件引用(2020–2022) 软件作者： 安德烈亚斯·洛赫比勒 相关软件： 动物园概率系统；举起；存档正式证据… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
排名为空 2份文件引用(2014–2017) 软件作者： 何塞·迪瓦森；杰苏斯·阿兰塞 相关软件： HOL；自动参考；高斯-乔丹… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
Szpilrajn扩建 2份文件引用(2021) 软件作者： 彼得·泽勒；卢卡斯·史蒂文斯 相关软件： Isabelle/HOL；存档正式证据；Coq-Combi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
代数数 1份文件引用(2019) 软件作者： RenéThiemann、Akihisa Yamada、Sebastiaan Joosten 相关软件： 梅蒂塔斯基；Coq；特殊功能边界… 主要字段： 场论与多项式（12-XX）；计算机科学（68-XX）
Co-Prover公司 1份文件引用(2023) 软件作者： 是的，埃里克；Hitaj，Briland；猫头鹰，山姆；梅纳·奎梅纳；Natarajan Shankar 相关软件： TacTok；游戏Pad；深度数学… 主要字段： 计算机科学（68-XX）
埃克斯特拉克托 在0个文档中引用 软件作者： Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui 相关软件： ArchSAT；拉链位置；E定理证明… 主要字段： ——
备忘录 1份文件引用（2018年） 软件作者： Simon Wimmer、Shuwei Hu、Tobias Nipkow 相关软件： 验证此；Isabelle/HOL；Coq公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
QuIt公司 1份文件引用（2018年） 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；西蒙·罗比拉德 相关软件： 吸血鬼；InvGen；CVC4… 主要字段： 计算机科学（68-XX）
RealRoots（真实根） 在0个文档中引用 软件作者： Jordy Lopez Garcia、Kelly Maluccio、Frank Sottile、Thomas Yahl 相关软件： 麦考利2 主要字段： ——
Roth_Arithmetic_级数 1份文件引用(2023) 软件作者： Edmonds，C.、Koutsoukou-Argyraki，A.、Paulson，L.C。 相关软件： 周长彩色；伊莎贝尔；渔民不平等… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
SPASS-AR公司 1份文件引用(2020) 软件作者： 安德烈亚斯·提克；克里斯托夫·韦登巴赫 相关软件： 阿凡达；雅高；iProver… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）