z3（零3） 761份文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MUMPS公司 631份文件引用(2000–2024) 软件作者： 帕特里克·R·埃姆斯泰。；达夫，伊恩·S。；L'Excellent，Jean-Yves；杰克·科斯特 相关软件： PETSc；FEniCS；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
BLAS公司 502份文件引用(1987–2023) 软件作者： 杰克·东加拉；格罗瑟 相关软件： LAPACK；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
并入PT_90 310份文件引用(1996–2023) 软件作者： R.Baker Kearfott先生 相关软件： 国际实验室；C-XSC；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
非对称性 149份文件引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
列表-统计 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
美食 101篇文献引用(2012–2024) 软件作者： Tang，Ping Tak Peter；埃里克·波利齐 相关软件： CIRR；lobpcg.m；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
打火石 68篇文献引用(2009–2023) 软件作者： 威廉·哈特。 相关软件： SageMath；岩浆；NTL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
全息函数 68篇文献引用(2009–2023) 软件作者： 克里斯托夫·库彻恩 相关软件： Mathematica；单一；OEIS… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
FOCI公司 66份文件引用(2004–2023) 软件作者： 兰吉特·贾拉（Ranjit Jhala）、肯尼思·麦克米兰（Kenneth L.McMillan） 相关软件： 公主；z3；CSIsat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
数学SAT 59篇文献引用(2005–2023) 软件作者： 罗伯特·布鲁托梅索、亚历山德罗·西马蒂、安德斯·弗兰森、阿尔贝托·格里乔、罗伯托·塞巴斯蒂亚尼 相关软件： z3；Yices；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
流量* 49份文件中引用（2015年至2024年） 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；d范围；高科技… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
CVC公司 45篇文献引用(2002–2021) 软件作者： 阿伦·斯塔姆（Aaron Stump）；克拉克·巴雷特（Clark W.Barrett）。；大卫·L·迪尔。 相关软件： CVC-Lite；简化；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
迷你球 引用于47份文件(2001–2023) 软件作者： 卡斯帕·菲舍尔；伯恩德·加特纳；阿迪蒂亚·古普塔；亚历山大·康斯坦蒂纳基斯·卡米斯 相关软件： SDPT3；塞杜米；CGAL… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
国际RRAM 44篇文献引用(2001–2022) 软件作者： 诺伯特·米勒 相关软件： RealLib；MPFR；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
符号数学工具箱 35篇文献引用（2003年至2022年） 软件作者： 迈斯沃克 相关软件： Matlab；Mathematica；Simulink… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
公主 在30份文件中引用(2010–2023) 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
垫片 在30份文件中引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
QOCA公司 27篇文献引用(1970–2018) 软件作者： Kim万豪酒店；乔·西特·森 相关软件： 天蓝色；食火鸡；HiRise… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；H溶剂；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际图书馆 28篇文献引用(1992–2018) 软件作者： Kearfott，R.B。；达旺德，M。；胡，C。 相关软件： 剖面/偏差；国际实验室；C-XSC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；经典热力学，传热（80-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；迷你卫星… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
算法913 24篇文献引用(2011–2022) 软件作者： M.B.van Gijzen先生；P.Sonneveld公司 相关软件： BiCGstab；CGS；GpBiCg… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
Z3str3号机组 19份文件引用（2018年-2023年） 软件作者： Berzish，M.、Ganesh，V.、Zheng，Y。 相关软件： z3；CVC4；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
FGMRES公司 19份文件引用(2004–2019) 软件作者： 弗雷斯，V.，吉拉德，L.，格拉顿，S 相关软件： GMRES；POP；mctoolbox… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
项目参考 18篇文献引用(2009–2023) 软件作者： 巴布林，马克；阿尔弗雷多·布塔里；Dongarra，杰克；雅库布·库扎克；朱莉·兰古；Julien Langou；彼得·卢斯科（Piotr Luszczek）；斯坦尼米尔·托莫夫 相关软件： mctoolbox；LAPACK；库达… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CholQR公司 18篇文献引用(2015–2023) 软件作者： 山崎一郎；斯坦尼米尔·托莫夫；杰克·东加拉 相关软件： mctoolbox；CholeskyQR2；LBNL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
InvGen公司 16篇文献引用(2010–2022) 软件作者： Ashutosh Gupta；安德烈·里巴尔琴科 相关软件： z3；PPL；匕首… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
QShopt-精确 18篇文献引用(2006–2022) 软件作者： David Applegate、William Cook、Sanjeeb Dash、Daniel Espinoza。 相关软件： QSopt_ex；gmp；SoPlex… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
半径RK 18篇文献引用（2015年至2024年） 软件作者： 尼古拉斯·斯穆特 相关软件： 组织环境信息系统；量化宽松政策；欧米茄… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；数论（11-XX）…
雷神之锤 16篇文献引用(2011–2022) 软件作者： D.蒙尼厄 相关软件： RAReQS；z3；迷你卫星… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
cddplus公司 15篇文献引用(2001–2023) 软件作者： 福田康美 相关软件： cdd；多品牌；极乐… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
CSIsat卫星 14篇文献引用(2009–2016) 软件作者： 德克·拜尔；达米安·祖弗里（Damien Zufferey）；鲁帕克·马朱姆达尔 相关软件： FOCI；公主；金刚狼… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
IBEX公司 14篇文献引用(2009–2023) 软件作者： 查伯特，G；约旦尼宁 相关软件： filib++；数字；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
作为256 14篇文献引用(1985–2021) 软件作者： R.W.法雷布罗特。 相关软件： AS 155；公牛；作为106… 主要字段： 数论（11-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
优化数学卫星 14篇文献引用(2016–2023) 软件作者： 塞巴斯蒂亚尼，R.，特伦丁，P。 相关软件： vZ；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
表面贴装 13份文件引用(2008–2019) 软件作者： Michela Redivo Zaglia；朱塞佩·罗德里格斯 相关软件： 正规化工具；Matlab；drsolve… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）…
SMTCoq公司 14篇文献引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
悉尼商学院 13份文件引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
食火鸡 在10份文件中引用(2005–2022) 软件作者： Greg J.Badros、Alan Borning、Peter J.Stuckey 相关软件： QOCA；HiRise；天蓝色… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AB解算器 在10份文件中引用(2006–2018) 软件作者： 安德烈亚斯·鲍尔（Andreas Bauer）、马库斯·皮斯特（Markus Pister）和迈克尔·陶奇尼格（Michael Tautschnig） 相关软件： HySAT；数学SAT；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
模糊数字 9份文件引用(2013–2022) 软件作者： 马雷克·加戈列夫斯基 相关软件： R；模糊R；frbs… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
歌利亚 11份文件引用(1991–2008) 软件作者： 彼得·阿尔菲尔德；大卫·J·爱。 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
高功率激光器 7份文件引用(2017–2023) 软件作者： Petitet A、Whaley RC、Dongarra J、Cleary A 相关软件： LINPACK；mctoolbox；库达… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AlgoPy公司 9份文件引用(2015–2021) 软件作者： 塞巴斯蒂安·沃尔特（Sebastian F.Walter）、卢兹·莱曼（Lutz Lehmann） 相关软件： 蟒蛇；ADOL-C；pyadoc… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
海狸 9份文件引用(2010–2021) 软件作者： 桑吉特·塞希亚 相关软件： 伊塞斯；z3；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
光谱 9份文件引用(2016–2023) 软件作者： Didier Henrion、Simone Naldi、Mohab Safey El Din 相关软件： FGb；枫树；克罗内克… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；动力系统和遍历理论（37-XX）…
基本原理第一集成 9份文件引用(2015–2022) 软件作者： Alin Bostan；奇泽·纪尧姆（Chèze，Guillaume）；托马斯·克鲁索（Thomas Cluzeau）；雅克·亚瑟·韦尔 相关软件： Lsolver；枫树；PSsolver… 主要字段： 几个复变量与解析空间（32-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
泰克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VIPR公司 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）
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
吉瓦罗 8份文件引用(1997–2022) 软件作者： Thierry Gautier、Jean-Louis Roch、Gilles Villard 相关软件： NTL；LinBox；FFLAS-FFPACK… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
LIRA公司 7份文件引用(2008–2021) 软件作者： Becker，B.、Dax，C.、Eisinger，J.、Klaedtke，F。 相关软件： 睫毛；cvc3；TaPAS… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
Matlab-RBF-工具箱 7份文件引用(2017–2024) 软件作者： Sarra，S.A.公司。 相关软件： Matlab；rbf_qr；RBFT… 主要字段： 偏微分方程（35-XX）；近似和扩展（41-XX）；整体分析，流形分析（58-XX）…
MPACK公司 7份文件引用（2012年至2022年） 软件作者： M.Nakata先生 相关软件： XBLAS；LBNL；exflib… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；量子理论（81-XX）…
CS-预测 7份文件引用(1988–2002) 软件作者： Kawamura，Toshio；大和田，Hayato；Fumio沟口 相关软件： Prolog；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
精确度 7份文件引用(2001–2009) 软件作者： S.Krishnan、M.Foskey、T.Culver、J.Keyser、D.Manocha 相关软件： MAPC；利迪亚；mctoolbox… 主要字段： 交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
rcdd公司 7份文件引用(2009–2023) 软件作者： 查尔斯·盖尔（Charles J.Geyer）；格伦·米登 相关软件： cdd；R；MCART测试… 主要字段： 凸和离散几何（52-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
斯坦·数学 5份文件引用(2018–2020) 软件作者： Bob Carpenter、Matthew D.Hoffman、Marcus Brubaker、Daniel Lee、Peter Li、Michael Betancourt 相关软件： 斯坦；锥体；青少年C… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
简单 5份文件引用(2010–2020) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；Yices；SMT-LIB… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
精确KS2SidedOneSample 3份文件引用(2016–2023) 软件作者： J.Brown；米尔顿·哈维 相关软件： KS1 SidedOne样品；k.c；设置测试… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
fzn2毫米 4份文件引用(2012–2017) 软件作者： 博菲尔（Bofill，M.）、帕拉西（Palahí）、苏伊（Suy，J.）、维拉雷特（Villaret，M。 相关软件： 微量锌；通用电气；SCIP… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
qr腮腺炎 4份文件引用(2016–2022) 软件作者： Emmanuel Agullo、Alfredo Buttari、Abdou Guermouche、Florent Lopez 相关软件： 套装SparseQR；SuiteSparseQR；稀疏矩阵… 主要字段： 数值分析（65-XX）
终结者 4份文件引用(2013–2022) 软件作者： 徐明；李志斌 相关软件： LoAT；停机坪；GitHub… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；动力系统和遍历理论（37-XX）…
特征CFA 3份文件引用(2011–2012) 软件作者： 塔伦·帕布；Ramalingam，什里亚斯；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
LMBOPT公司 3份文件引用(2022) 软件作者： 莫特扎·基米艾；阿诺德·诺伊梅尔；贝扎德·阿兹米 相关软件： CUTEst公司；LBFGS-B；CG_DESCENT… 主要字段： 数值分析（65-XX）；运筹学，数学编程（90-XX）
PolyPaver公司 3份文件引用(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： CkAnalytic；泰勒；大写… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
索诺拉 3份文件引用(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
SPC-PM公司 3份文件引用(2018–2019) 软件作者： 梅耶，A。；等人。 相关软件： – 主要字段： 可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
郁金香 3份文件引用(2021–2023) 软件作者： 马修·坦诺；米盖尔·安霍斯（Miguel F.Anjos）。；安德烈·洛迪 相关软件： CPLEX；综合项目管理；宠物… 主要字段： 运筹学，数学编程（90-XX）
XSat公司 2份文件引用(2018–2022) 软件作者： – 相关软件： 数学SAT5；dReal；z3… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
图形BLAST 2份文件引用(2020–2022) 软件作者： Carl Yang、Aydin Buluc、John D.Owens 相关软件： 尖点；nvGRAPH；PowerGraph… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
HiCMA公司 1份文件引用(2021) 软件作者： K.Akbudak、H.Ltaief、A.Mikhalev、D.E.Keyes 相关软件： NLopt；ExaGeoStat；ExaGeoStatR… 主要字段： 统计学（62-XX）
从未 2份文件引用(2011–2018) 软件作者： 卢卡·普利纳（Luca Pulina）；阿曼多·塔切拉 相关软件： Matlab；OPQ；Roboop… 主要字段： 特殊功能（33-XX）；计算机科学（68-XX）
注册Stab 1份文件引用（2010年） 软件作者： Vincent Aravantinos；卡费拉、里卡多；尼古拉斯·佩尔蒂埃 相关软件： TPTP；LOUI；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
瓦斯 2份文件引用(2019–2020) 软件作者： Sakaguchi，K。 相关软件： github；停机坪；PPL… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
borderbasix公司 1份文件引用(2016) 软件作者： 菲利普·特雷布歇；伯纳德·穆兰（Bernard Mourrain）；Marta Abril Bucero 相关软件： 贾克；Xcas；Mosek… 主要字段： 交换代数（13-XX）；数值分析（65-XX）；计算机科学（68-XX）
CoAdELL公司 1份文件引用(2017) 软件作者： 马可·马吉奥尼（Marco Maggioni）、坦尼亚·伯格尔·沃尔夫（Tanya Berger-Wolf） 相关软件： 保管；ITPACK；AdELL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
浮点X 1份文件引用(2019) 软件作者： 戈兰·弗莱加；Florian Scheidegger；韦德兰的诺瓦科维奇；Giovani Mariani；Tomás，Andrés E。；马洛西，A.克里斯蒂亚诺一世。；恩里克·金塔纳·奥尔蒂。 相关软件： 立方体；乳胶；银杏… 主要字段： 数值分析（65-XX）
国际标准化组织3 1份文件引用(2017) 软件作者： 费利克斯·温特勒（Felix Winterer）、卡斯滕·谢布勒（Karsten Scheibler）、利奥诺·温特勒、马蒂亚斯·绍尔（Matthias Sauer） 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）