CGAL公司 引用于423份文件(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
图尔巴尔2 引用于27份文件(2007–2023) 软件作者： 托马斯·希克斯；西蒙·德·吉夫里（Simon de Givry）；大卫·阿洛切 相关软件： mplp2；数字插孔；最大HS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
EXACUS考试 21篇文献引用(2001–2011) 软件作者： Eric Berberich；阿诺·艾根威利（Arno Eigenwillig）；Michael Hemmer；苏珊·赫特（Susan Hert）；Kettner，Lutz；库尔特·梅尔霍恩；约阿希姆·赖歇尔；苏珊·施密特；Sch“omer，Elmar；Wolpert，尼古拉 相关软件： CGAL；LEDA；隔离… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
火星 14篇文献引用(2014–2023) 软件作者： 张，青海；亚伦·福格尔森 相关软件： GePUP；PROST；Gerris… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
埃索利德 10篇文献引用(2005–2018) 软件作者： J.Keyser、T.Culver、M.Foskey、S.Krishnan、D.Manocha。 相关软件： MAPC；EXACUS（考克斯）；隔离… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SyReC公司 引用于7份文件(2012–2023) 软件作者： Wille，R.、Offermann，S.、Drechsler，R。 相关软件： RevLib；LRinv；Quipper… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
网络格式塔 4份文件引用(2012–2017) 软件作者： B.Zhang、S.Kirov、J.Snoddy；邓肯，D.T。；北卡罗来纳州普罗杜图里。 相关软件： KEGG；生物网格；R、 … 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
IRIT公司 5份文件引用(2004–2021) 软件作者： G.Elber，以色列海法Technion计算机科学系 相关软件： VTK；犰狳；CMake… 主要字段： 偏微分方程（35-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
二维正则布尔集合运算 5份文件引用(2007–2022) 软件作者： Fogel，E.，Wein，R.，Zukerman，B.，Halperin，D。 相关软件： CGAL；二维布置；2D Minkowski总和… 主要字段： 凸和离散几何（52-XX）；一般拓扑（54-XX）；数值分析（65-XX）…
ff（关闭） 1份文件引用(2019) 软件作者： Daniel Adler、Christian Gläser、Oleg Nenadic、Jens Oehlschlägel、Walter Zucchini 相关软件： R；晶格；下雪… 主要字段： 统计学（62-XX）
生物质量管理 1份文件引用(2022) 软件作者： A.纳尔迪。 相关软件： PyBoolNet；BoolNet；Potassco… 主要字段： 阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
CPFloat公司 引用于3份文件(2022–2023) 软件作者： 法西，M。；米凯蒂斯，M。 相关软件： mctoolbox；MPFR；CholQR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
索诺拉 引用于3份文件(2014–2018) 软件作者： Lapschies，F.、Peleska，J.、Gorbachuk，E.、Mangels 相关软件： ASTREE公司；数学SAT5；HOL灯… 主要字段： 计算机科学（68-XX）
日 2份文件引用(2021–2022) 软件作者： 菲利皮迪斯，我 相关软件： CUDD；dReal；ETMetera… 主要字段： 数论（11-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
VBF公司 2份文件引用(2016–2017) 软件作者： 何塞·安东尼奥·阿尔瓦雷斯-库贝罗，佩德罗·祖菲里亚 相关软件： KASUMI；SageMath；VBFlib… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
CSG网络 1份文件引用(2021) 软件作者： Gopal Sharma、Rishabh Goyal、Difan Liu、Evangelos Kalograkis、Subhransu Maji 相关软件： LKH；深度编码器；Rdkit… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）