z3（零3） 762份文件引用（2001年至2024年） 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；喀拉喀托；z3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
算法719 41篇文献引用(1993–2017) 软件作者： D.H.贝利。 相关软件： 算法693；Mathematica；mctoolbox… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
公主 30篇文献引用（2010年-2023年） 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
MIRACL公司 26篇文献引用(1989–2021) 软件作者： 斯科特·M。；CertiVox有限公司。 相关软件： 遗迹；电子飞机控制系统；eBATS… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
QSopt_ex（首选项） 26篇文献引用(2007–2022) 软件作者： Daniel Espinoza、William Cook、Sanjeeb Dash、David Applegate、Kati Wolter 相关软件： QShopt-Exact；CPLEX；SoPlex… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SMT-RAT型 25篇文献引用(2013–2024) 软件作者： Corzilius，F.、Kremer，G.、Junges，S.、Schupp，S.和Al brahám，E。 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数理逻辑与基础（03-XX）；交换代数（13-XX）；代数拓扑（55-XX）…
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
英国石油协会 10篇文献引用（2010年-2023年） 软件作者： Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie 相关软件： 岩浆；打火石；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
WIGXJPF公司 12份文件引用(2016–2023) 软件作者： Hákan T.Johansson，瑞典查尔默斯理工大学 相关软件： SU3lib；sl2c泡沫；GSL… 主要字段： 拓扑群，李群（22-XX）；偏微分方程（35-XX）；计算机科学（68-XX）…
毒蛇 8份文件引用(2017–2023) 软件作者： Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件： SCIP；MIPLIB公司；DRAT微调… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
古巴国防部 8份文件引用(2006–2017) 软件作者： 萨达尔·安尼苏尔·哈克（Sardar Anisol Haque）、辛莉（Xin Li）、法纳姆·曼苏里（Farnam Mansouri）、马克·莫雷诺·马扎（Marc Moreno Maza）、韦潘（Wei Pan）、谢宁（Ning Xie） 相关软件： 枫树；岩浆；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
Eldarica公司 7份文件引用(2016–2023) 软件作者： 侯赛因·霍贾特；菲利普·科内钦；佛罗伦萨加尼尔；Iosif，Radu；维克多·昆卡；菲利普·吕默 相关软件： 公主；FLATA；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
比格南 7份文件引用(1993–2019) 软件作者： B.Serpette，J.Vuillemenin，J.C.Hervé 相关软件： Wombit；Why3；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
熊猫 7份文件引用（2015年至2022年） 软件作者： 斯特凡·勒沃德（Stefan Lörwald）、格哈德·雷内特（Gerhard Reinelt） 相关软件： 港口；摩卡；JBool… 主要字段： 凸和离散几何（52-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
ff（关闭） 1份文件引用(2019) 软件作者： Daniel Adler、Christian Gläser、Oleg Nenadic、Jens Oehlschlägel、Walter Zucchini 相关软件： R；晶格；下雪… 主要字段： 统计学（62-XX）
MPIR公司 5份文件引用(2012–2018) 软件作者： 布莱恩·格拉德曼（Brian Gladman）、杰森·莫克瑟姆（Jason Moxham）、威廉·哈特（William Hart）；等。 相关软件： 打火石；阿伯；MPFR… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
简单 5份文件引用(2010–2020) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；Yices；SMT-LIB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SoftFloat软件 4份文件引用(2002–2021) 软件作者： 豪泽，J。 相关软件： 国际实验室；MPFR；CUBLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CpG集群 2份文件引用(2009–2015) 软件作者： 哈肯伯格，M。；普雷维提，C。；Luque-Escamilla，P。；Carpena，P。；Martinez-Aroza，J。；J·奥利弗。 相关软件： ClustalW；引导；戴维 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
CP浮动 3份文件引用(2022–2023) 软件作者： 法西，M。；米凯蒂斯，M。 相关软件： mctoolbox；MPFR；CholQR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
gmpy2型 3份文件引用(2015–2018) 软件作者： 霍森CV 相关软件： gmp；皮诺奇；C；…的SNARK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
lrslib公司 2份文件引用(2008–2017) 软件作者： 大卫·阿维斯 相关软件： lrs；港口；正常（amp；N）… 主要字段： 群论与推广（20-XX）；凸和离散几何（52-XX）；统计学（62-XX）…
修订SCA 3份文件引用(2020–2021) 软件作者： Mahzoon，A.、Große，D.、Drechsler，R。 相关软件： PolyCleaner；GenMul；multgen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
金龟子 2份文件引用(2014) 软件作者： Soh、Takehide；Tamura、Naoyuki；穆苏诺里·班巴拉 相关软件： 周六4j；GRAPPA；Lynx… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
SLV公司 2份文件引用(2016–2019) 软件作者： 伊莱亚斯·齐加里达斯 相关软件： 枫树；ANewDsc；微小的… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
DoCon-A公司 2份文件引用(2020–2022) 软件作者： S.D.梅什韦利亚尼。 相关软件： 精益；阿格达；Coq… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）
JKL-ECM公司 2份文件引用(2016–2022) 软件作者： Heer，Henriette；加里·麦奎尔；奥辛·罗宾逊 相关软件： 细胞-药物-细胞图像；EECM-MPFQ；GMP-ECM… 主要字段： 数论（11-XX）；代数几何（14-XX）
原生词 2份文件引用(2014–2020) 软件作者： 安德烈亚斯·洛赫比勒；彼得·兰米奇 相关软件： 精炼一元；存档正式证据；Isabelle/HOL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
达尔文 1份文件引用(2008) 软件作者： G.H.Gonnet、M.T.Hallett、C.Korostensky和L.Bernardin 相关软件： —— 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
轻弹 1份文件引用（2018年） 软件作者： 克劳德·皮埃尔·珍妮罗德（Claude-Pierre Jeannerod）；纪尧姆·雷维 相关软件： CAMPARY公司；国际实验室；绒毛… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
首次公开募股 1份文件引用(2022) 软件作者： 沃尔克·凯贝尔（Volker Kaibel）、马蒂亚斯·沃尔特（Matthias Walter） 相关软件： RobinX；古罗比；github 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： Felix Winter、Karsten Scheibler、Leonore Winter、Matthias Sauer 相关软件： —— 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）
懒惰v2int 1份文件引用(2021) 软件作者： Zohar，Y.，Irfan，A.，Mann，M.，Nötzli，A.，Reynolds，A.，Barrett，C。 相关软件： PySAT；CVC4；SMT套件… 主要字段： 计算机科学（68-XX）
NuFHE公司 1份文件引用(2022) 软件作者： NuCypher（数字密码器） 相关软件： CryptDB；RethinkDB；ZeroDB… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
宠物老板 1份文件引用（2018年） 软件作者： 余存溪；亚辛，阿蒂夫；苏天凯；阿兰·米什琴科（Alan Mishchenko）；马西耶·西塞尔斯基 相关软件： ABC；稳定；单一 主要字段： 计算机科学（68-XX）
SPEX左LU 1份文件引用(2022) 软件作者： 克里斯托弗·劳伦科（Christopher Lourenco）；陈金浩；埃里克·莫雷诺-康蒂诺（Erick Moreno-Centeno）；蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： github；NTL；LinBox… 主要字段： 数值分析（65-XX）