6月2日 在11份文件中引用(1996–2004) 软件作者： 艾伦·海登；格雷格·纳尔逊 相关软件： 天蓝色；MMP/Geometer；梅德勒… 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Dijkstra最短路径 10篇文献引用(2014–2019) 软件作者： Benedikt Nordhoff；彼得·兰米奇 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
独角兽 6篇文献引用(2015–2021) 软件作者： Jonathan F.Donges、Jobst Heitzig、Boyan Beronov、Marc Wiedermann、Jakob Runge、Qing Yi Feng、Liubov Tupikina、Veronika Stolbova、Reik V.Donner、Norbert Marwan、Henk A.Dijkstra、J.Kurth 相关软件： SciPy；TISEAN公司；图表… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
利比亚人 6篇文献引用(2019–2024) 软件作者： 塞缪尔·波特。；玛丽亚·卡梅隆。 相关软件： 高效JetMarcher；GitHub；Spalart-Allmaras… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）…
鸡尾酒会 5份文件引用(2000–2017) 软件作者： Michael Franssen（埃因霍温理工大学） 相关软件： Why3；WhyML；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
高效JetMarcher 4份文件引用(2022–2024) 软件作者： 尼古拉斯·帕斯卡尔（Nicholas Paskal）；玛丽亚·卡梅隆 相关软件： GitHub；libeikonal；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
车身控制模块 1份文件引用(2022) 软件作者： Bram Thijssen、Tjeerd M.H.Dijkstra、Tom Heskes、Lodewyk F.A.Wessels 相关软件： 生物贝叶斯；ABC-SysBio；斯坦… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
cSEM公司 3份文件引用(2021–2023) 软件作者： 曼纽尔·拉德梅克、弗洛里安·舒伯斯、塔玛拉·尚伯格、迈克尔·克莱塞尔、西奥·K·迪克斯特拉、约格·亨斯勒 相关软件： R；SmartPLS；semPLS… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）
DynAlloy合金 2份文件引用(2007–2021) 软件作者： 马塞洛·弗里亚斯（Marcelo F.Frias）、胡安·加莱奥蒂（Juan P.Galeotti）、卡洛斯·洛佩斯·蓬博（Carlos López Pombo）、纳扎雷诺·阿吉雷（Nazareno Aguirre） 相关软件： MiniSat；JPF-SE；YOGI… 主要字段： 计算机科学（68-XX）
MGM工具 3份文件引用(1995–2006) 软件作者： Haverkort，B.R.，A.P.A.van Moorsel，A.Dijkstra。 相关软件： SPNP；SPN2MGM；MOSEL… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
摩尔 3份文件引用(2013–2018) 软件作者： Petřek，M.，Košinová，P.，Koca，J.，Otyepka，M。 相关软件： VirtualGL；打开Inventor；VizServer… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Stern Brocot树 3份文件引用(2016–2017) 软件作者： 彼得·甘米（Peter Gammie）；安德烈亚斯·洛赫比勒 相关软件： 存档正式证据；Isabelle/HOL；HOL… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
OMUSE公司 2份文件引用(2017–2020) 软件作者： Inti Pelupessy；本·范·维尔霍文；阿尔延·范·埃尔特伦（Arjen van Elteren）；扬·维巴恩（Jan Viebahn）；亚当·坎迪；西蒙·波特基斯·兹瓦特；Henk Dijkstra公司 相关软件： CRCP；数字Py；Python… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
标尺 2份文件引用(2006–2016) 软件作者： 阿泽·迪杰斯特拉（Atze Dijkstra）；斯威斯特拉，S.多伊茨 相关软件： Stratego；ANTLR；K校准仪… 主要字段： 计算机科学（68-XX）
AdTree（AdTree） 在0个文档中引用 软件作者： Du，S.、Lindenbergh，R.、Ledoux，H.、Stoter，J.、Nan，L。 相关软件： libigl；CGAL；PMP… 主要字段： –
Par@图表 1份文件引用(2015) 软件作者： H.Ihshaish、A.Tantet、J.C.M.Dijkzeul、H.A.Dijkstra 相关软件： IPython；NetworkX；Python… 主要字段： 统计学（62-XX）；数值分析（65-XX）
地形成本 1份文件引用(2008) 软件作者： 托马斯·黑泽尔（Thomas Hazel）；Toma，Laura；Vahrenhold，Jan；拉吉夫·维克勒马辛哈 相关软件： STXXL；TPIE公司 主要字段： 计算机科学（68-XX）