DGM公司 358份文件引用(2017–2024) 软件作者： 贾斯汀·西里尼亚诺；康斯坦蒂诺斯·斯皮利奥普洛斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
SACLIB公司 23篇文献引用(1993–2009) 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoReLG公司 13份文件引用(2013–2023) 软件作者： Dietrich，Heiko；法辛，保罗；威廉·德·格拉夫。 相关软件： 间隙；二语习得；岩浆… 主要字段： 结合环与代数（16-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
奎伦斯普林 12份文件引用(2007–2020) 软件作者： 安娜·法比安斯卡 相关软件： 单一；麦考利2号；珍妮特… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；代数拓扑（55-XX）…
OpenGeoProver（OpenGeoProvider） 12份文件引用(2015–2023) 软件作者： Predrag Janicic；伊万·彼得罗维奇 相关软件： GCLC；GEX；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；几何（51-XX）…
聚乙烯/ML 11份文件引用(2011–2020) 软件作者： 大卫马修斯 相关软件： 伊莎贝尔；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
质量管理计划 12份文件引用(2012–2022) 软件作者： 托马斯·拉斯（Thomas Raths）；延斯·奥滕 相关软件： TPTP；MleanCoP；MSPASS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
组合学_单词 10篇文献引用(2017–2023) 软件作者： ŠtŞpán Holub；马丁·拉什卡；Štěpán Starosta 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
Presburger Automata公司 9份文件引用(2009–2019) 软件作者： 斯特凡·贝尔霍弗；马库斯·雷特 相关软件： 存档正式证据；Isabelle/HOL；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Doodle博士 7份文件引用(2004–2019) 软件作者： 丹尼尔·温特斯坦（Daniel Winterstein）；阿兰·邦迪（Alan Bundy）；科林·古尔 相关软件： 防开启；Isabelle/HOL；超防… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
快速MMD 6篇文献引用(2015–2023) 软件作者： 赵骥；孟德玉（Deyu Meng） 相关软件： 能量；dslice；ggplot2… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
西比尔 6篇文献引用(2010–2020) 软件作者： 塞里托、塞雷内拉；玛尔塔·恰尔迪亚·梅耶 相关软件： 斯巴达克斯；HyLoTab；HTab… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
字符集 3份文件引用(2004–2007) 软件作者： 王东明 相关软件： 枫树；ATFM；PDE专用解决方案… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
德摩尼克 1份文件引用(2015) 软件作者： 萨姆森·艾布拉姆斯基；多米尼克·霍斯曼 相关软件： —— 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
FLRBFN-AMF过滤器 1份文件引用(2013) 软件作者： Lin，Faa-Jeng；Lee，Shih-Yang；周伯环 相关软件： —— 主要字段： 可变形固体力学（74-XX）；系统论；控制（93-XX）
HybCore公司 1份文件引用(2020) 软件作者： 谢尔盖·冈查洛夫（Sergey Goncharov）；内维斯（Neves）、雷纳托（Renato）；何塞·普伦萨 相关软件： Modelica；OCaml；GHCi… 主要字段： 计算机科学（68-XX）
考拉 1份文件引用(2023) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；莎拉·温克勒 相关软件： 常春藤；常春藤；iProver… 主要字段： 计算机科学（68-XX）
Sturm-Tarski定理 1份文件引用(2020) 软件作者： 李文达（Wenda Li） 相关软件： Winding_Number_Eval；计算复数根；存档正式证据… 主要字段： 复变量函数（30-XX）；计算机科学（68-XX）