EFD（电子飞行显示器） 59篇文献引用(2007–2023) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）；坦尼娅·兰格 相关软件： 25519号曲线；mpFq；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
超级谎言 27篇文献引用(1997–2022) 软件作者： P.格罗兹曼 相关软件： 数学软件 主要字段： 非结合环与代数（17-XX）；动力系统与遍历理论（37-XX）；整体分析，流形分析（58-XX）…
钠5 24篇文献引用(1992–2002) 软件作者： Brezinski，C。；Redivo Zaglia，M。 相关软件： na1；CGS；BiCGstab… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
PAG公司 20篇文献引用（1996-2018） 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
BenderWu公司 15篇文献引用(2016–2022) 软件作者： T.Sulejmanpasic，M.unsal 相关软件： Mathematica；BW差异；DLMF公司 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PABTEC公司 12份文件引用(2011–2023) 软件作者： 塔贾娜·斯泰克尔（Tatjana Stykel）、安德烈亚斯·斯坦布雷彻（Andreas Steinbrecher）、哈蒂姆·阿齐兹·萨利赫（Hatim Aziz Salih） 相关软件： Matlab；罗德斯；Loewner… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
PURRS公司 9份文件引用(2006–2022) 软件作者： 罗伯托·巴格纳拉；安德烈亚·佩切蒂（Andrea Pescetti）；亚历山德罗·扎卡格尼尼；Enea Zaffanella公司；塔蒂亚娜·佐洛 相关软件： ACE；LoAT；GitHub… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
GrInvIn公司 9份文件引用(2007–2023) 软件作者： 阿德里安·皮特斯；克里斯·库萨特（Kris Coolsaet）；冈纳·布林克曼；范·克莱恩普特（Van Cleemput），尼古拉斯（Nicolas）；Veerle法克 相关软件： nauti；GraPHedron；图形之家… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RALL公司 9份文件引用(1997–2014) 软件作者： 大卫·冯·奥海姆，托马斯·格里茨纳 相关软件： 拉尔夫；Isabelle/HOL；ARA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LAF-SPEM公司 7份文件引用(2013–2019) 软件作者： 阿拉、圭多；伊丽莎·弗兰科马诺 相关软件： Matlab；Sheppack；算法792… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
算法628 6篇文献引用（1985年至2009年） 软件作者： 温克勒，F。；布赫伯格，B。；Lichtenberger，F。；罗列茨切克，H。 相关软件： SYMMGRP；FGb公司 主要字段： 历史与传记（01-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
爱马仕 5份文件引用(2014–2023) 软件作者： 安妮·贝瑞；阿兰·古铁雷斯；玛丽安，哈查德；那不勒斯、阿梅迪奥；阿兰·西盖雷特 相关软件： LatViz；概念浏览器；维克… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）…
山核桃 6篇文献引用(1996–2021) 软件作者： 胡萝卜，路易吉；梅勒，弗兰诺；Mango Furnari，马里奥；雷娜塔·纳波利塔诺 相关软件： CANv2；PYR；OpenCAL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
CoqMTU公司 4份文件引用(2013–2020) 软件作者： 布鲁诺·巴拉斯（Bruno Barras）、珍妮·皮埃尔·朱安诺（Jean-Pierre Jouannaud）、皮埃尔·伊夫·斯特鲁布（Pierre-Yves Strub）、钱旺（Qian Wang） 相关软件： CoqMT；Coq；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
丹德利昂 引用于3份文件(2022–2023) 软件作者： Giles W Richardson、Jamie M Foster、Rahifa Ranom、Colin P Please、Angel M Ramos 相关软件： PyBaMM；TauFactor；佩特利昂… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
FL-GrCCA公司 4份文件引用(2011–2012) 软件作者： 刘洪兵；熊胜武；方志祥 相关软件： 线圈100；UCI-ml；模糊ARTMAP 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
DPF（DPF） 引用于3份文件(2013–2020) 软件作者： 米洛斯，格利戈里奇；鲁帕克·马朱姆达尔 相关软件： MCMAS；DDVerify；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
轻弹 引用于3份文件(1991–2006) 软件作者： Czyżak，彼得亚雷；罗马人Słowiánski 相关软件： WinGULF；IFLP；FPLP… 主要字段： 总体主题；藏品（00-XX）；运筹学，数学编程（90-XX）
SICK公司 2份文件引用(2022) 软件作者： M.Marelli、S.Menini、M.Baroni、L.Bentivogli、R.Bernardi和R.Zamparelli 相关软件： MS-COCO；FraCaS公司；LangPro… 主要字段： 计算机科学（68-XX）
艾伦TAP 2份文件引用（2008年至2021年） 软件作者： Near，Joseph P。；William E.伯德。；丹尼尔·弗里德曼（Daniel P.Friedman）。 相关软件： Freshml；精益TAP；卡伦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CodonO公司 2份文件引用(2006–2020) 软件作者： 万，X.-F。；周继忠；徐，D。 相关软件： 外部斜坡；TTA Lynx；大坝7… 主要字段： 生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
LTL至DRA 2份文件引用(2016–2019) 软件作者： 所罗门·西克特 相关软件： CAVA LTL模型检查器；LTL2BA；SPOT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
NetPyNE公司 2份文件引用(2020–2021) 软件作者： 塞西莉亚·罗马罗；费尔南多·阿劳霍（Fernando Araujo Najman）；威廉·莱顿（William W.Lytton）。；安东尼奥·罗克（Antonio C.Roque）。；萨尔瓦多杜拉·伯纳尔 相关软件： 巢穴；蟒蛇；神经元 主要字段： 生物学和其他自然科学（92-XX）
彩虹鱼 2份文件引用(2017–2022) 软件作者： Almodaresi，Fatemeh；普拉珊·潘迪（Prashant Pandey）；罗伯·帕特罗 相关软件： BWA；拆分MEM；SDSL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Szpilrajn扩建 2份文件引用(2021) 软件作者： 彼得·泽勒；卢卡斯·史蒂文斯 相关软件： Isabelle/HOL；存档正式证据；Coq-Combi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
沃尔纳 2份文件引用(2014–2016) 软件作者： Anuchin，Max.G。；米克·阿努钦。G。；沃罗布埃夫，A.A。；加里宁，A.A。；卡斯皮耶夫，G.V。；库兹涅佐夫，A.N。；尤什曼诺夫，V.N。；雅科夫列夫，A.Ya。 相关软件： —— 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）
ASER公司 1份文件引用(2022) 软件作者： 张洪明；刘欣；潘浩杰；柯浩文；欧、杰夫；方天青；宋阳秋 相关软件： Event2Mind；宾夕法尼亚树银行；GPT-3… 主要字段： 计算机科学（68-XX）
可编码性_Process_Calculi 1份文件引用(2020) 软件作者： 柯斯汀·彼得斯（Kirstin Peters）；罗布·范·格拉贝克 相关软件： Apache Flink；存档正式证据；图片… 主要字段： 计算机科学（68-XX）
异质基因 1份文件引用(2022) 软件作者： Gimenez，M.，Moscato，M.M.，Lopez Pombo，C.G.，Frias，M.F。 相关软件： OBJ咖啡馆；Nitpick公司；Kodkod… 主要字段： 计算机科学（68-XX）
nccrFOAM公司 1份文件引用(2024) 软件作者： Mankodi，Tapan K。；埃希特哈迪，奥米德；图沙·乔鲁什；阿明·拉希米；Myong，R.S。 相关软件： —— 主要字段： 流体力学（76-XX）；统计力学，物质结构（82-XX）
海报 1份文件引用（2018年） 软件作者： 柯蒂斯·格林（Curtis Greene）、尤金妮·亨西格（Eugenie Hunsicker） 相关软件： —— 主要字段： 非结合环与代数（17-XX）；群论与推广（20-XX）