DIMACS公司 603文件引用(1993–2024) 软件作者： 约翰逊，D.S。；诡计，M。 相关软件： 禁忌搜索；SATO；查夫… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FHEW公司 53篇文献引用(2015–2023) 软件作者： 莱奥·多卡斯；丹尼尔·米恰尼西奥 相关软件： HElib；TFHE；GitHub… 主要字段： 数论（11-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
钠10 53篇文献引用(1996–2022) 软件作者： 达里奥·安德里亚·比尼 相关软件： na20；mctoolbox；隔离… 主要字段： 场论与多项式（12-XX）；线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）…
SWIFFT银行 51篇文献引用(2008–2021) 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；佩克特，克里斯；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
iPiasco公司 50篇文献引用(2015–2023) 软件作者： Ochs，Peter；托马斯·布罗克斯（Thomas Brox）；托马斯·波克 相关软件： iPiano；AlexNet；CIFAR… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
香蒜酱 49篇文献引用(2016–2023) 软件作者： 阿德里安·泰勒（Adrien B.Taylor）。；朱利安·亨德里克斯。；Glineur，F。 相关软件： YALMIP；塞杜米；取消锁定BoX… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
GADMM公司 37篇文献引用(2015–2023) 软件作者： 方，伊桑·X。；何炳胜；刘，韩；袁晓明 相关软件： UNLocBoX；PDCO；阿尔根卡… 主要字段： 算子理论（47-XX）；变分法与最优控制；优化（49-XX）；统计学（62-XX）…
快速堆（QuickHeapsort） 9份文件引用（2000年至2020年） 软件作者： 沃尔克·迪克特；阿敏·韦 相关软件： 快速分拣；WikiSort；MoMQuickMergesort… 主要字段： 计算机科学（68-XX）
索菲娅 11份文件引用(2017–2024) 软件作者： 迈克尔·科伯（Michael Kerber）；汉娜·施赖伯 相关软件： 辛巴；PHAT；GitHub… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
联机最小值 8份文件引用(2012–2018) 软件作者： 布罗达尔（Gerth Stölting Brodal）；加布里埃尔·莫鲁兹；安德烈·内戈埃斯库 相关软件： CacheAudit；私人LR 主要字段： 计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
陆军部 引用于7份文件(2016–2022) 软件作者： 弗洛恩，F。；Naaf，M。；亨塞尔，J。；Brockschmidt，M。；J·吉斯尔。 相关软件： z3；github；TPDB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
卡达布拉 6篇文献引用(2016–2022) 软件作者： 米歇尔·博拉西；伊曼纽尔·纳塔莱 相关软件： R；github；ionet… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MSO公司 6篇文献引用(2016–2021) 软件作者： 阿卜杜拉·杜加利；苏雷什，S。；新泽西州Sundararajan。 相关软件： MCS；地方政府官员；minpack… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
德波拉 引用于3份文件(2012–2023) 软件作者： 卢卡·比斯蒂（Luca Bisti）；卢西亚诺·伦齐尼；恩佐·明戈齐；乔瓦尼·斯特亚 相关软件： DiscoDNC；科雷利；NC-Maude… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DISCO公司 引用于3份文件(2008–2016) 软件作者： 施密特JB，兹达斯基FA 相关软件： RTC工具箱；NC-Maude；最小Maxgd… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
林利尔 引用于3份文件(2012–2014) 软件作者： Marco E.G.V.Cattaneo。；安德烈亚·威西尔茨（Andrea Wiencierz） 相关软件： R；robustbase；tidyr… 主要字段： 统计学（62-XX）；数值分析（65-XX）
pyCPA公司 2份文件引用(2018–2019) 软件作者： Jonas Diemer、Philip Axer、Rolf Ernst 相关软件： 活性氧；动作库；AIMMS公司 主要字段： 计算机科学（68-XX）
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
阿尔弗雷德 引用于3份文件(2017–2018) 软件作者： Thankachan，S。；Chockalingam，S.P.公司。；刘，Y。；Apostolico，A。；阿鲁鲁，S。 相关软件： 肥皂；BWA；蝴蝶结2… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
迪斯科舞厅 引用于3份文件(2021–2023) 软件作者： 邦多夫，S。；施密特，J.B。 相关软件： 德波拉；南希；COINC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
OTAWA公司 1份文件引用(2017) 软件作者： 巴拉布里加，克莱门特；Cassé，Hugues；克莉丝汀·罗切（Christine Rochange）；帕斯卡·塞恩拉特 相关软件： McAiT；CPA检查员；STP… 主要字段： 计算机科学（68-XX）
r-TuBound公司 1份文件引用(2017) 软件作者： Jens Knoop；劳拉·科瓦奇（Laura Kovács）；雅各布兹维奇梅尔 相关软件： Smacc；STP；OTAWA… 主要字段： 计算机科学（68-XX）
算法848 2份文件引用(2005–2011) 软件作者： 斯宾塞·D·谢尔曼。；西科尔斯基，K。 相关软件： BEDFix；最小包装；TENSOLVE公司 主要字段： 算子理论（47-XX）；数值分析（65-XX）
D*超轻 2份文件引用(2017–2019) 软件作者： 马西耶·普尔兹比尔斯基；芭芭拉·普茨 相关软件： D*Lite系列 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
FlexProt公司 1份文件引用（2008年） 软件作者： Maxim Shatsky、Ruth Nussinov、Haim J Wolfson 相关软件： STRIDE（步态）；Jalview；VMD… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
Imalytics临床前 1份文件引用(2018) 软件作者： Gremse-IT股份有限公司；F.Gremse、M.Stärk、J.Ehling、J.R.Menzel、T.Lammers、F.Kiessling 相关软件： BoneJ；海洋代码；局部厚度映射… 主要字段： 数值分析（65-XX）
IQC游戏 2份文件引用(2021–2023) 软件作者： 张国栋；鲍旭灿；Laurent Lessard；罗杰·格罗斯 相关软件： 香蒜酱；github；AlexNet… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
南希 2份文件引用（2023年） 软件作者： 拉斐尔·齐波；乔瓦尼·斯特亚 相关软件： DiscoDNC；COINC公司；科雷利… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
CyNC公司 1份文件引用（2023年） 软件作者： 亨利克·席勒（Henrik Schioler）；汉斯·施维费尔（Hans P.Schwefel）。；马丁·汉森。 相关软件： 科雷利；NC-Maude；德波拉… 主要字段： 信息与通信理论，电路（94-XX）
深度拆分 1份文件引用（2023年） 软件作者： 陈绍如；Eric Wong；Kolter，J.齐科；马亚尔·法兹利亚布 相关软件： ImageNet；AlexNet；GPT-3… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
异质基因 1份文件引用(2022) 软件作者： Gimenez，M.，Moscato，M.M.，Lopez Pombo，C.G.，Frias，M.F。 相关软件： OBJ咖啡馆；Nitpick公司；Kodkod… 主要字段： 计算机科学（68-XX）
面条 1份文件引用(2018) 软件作者： Bhatti MK、Oz I、Popov K、Muddukrishna A、Brorsson M 相关软件： STG；Hypertool；佩加索斯 主要字段： 计算机科学（68-XX）
ProSparse服务器 1份文件引用(2018) 软件作者： 吕岳明。；乔恩·奥纳蒂维亚（Jon Oñativia）；路易吉码头Dragotti 相关软件： – 主要字段： 概率论与随机过程（60-XX）；信息与通信理论，电路（94-XX）
模拟到实验室到真实 1份文件引用（2023年） 软件作者： 徐凯智；Ren，Allen Z。；Nguyen，Duy P。；阿尼鲁达·马朱姆达尔；杰米·费萨克（Jaime F.Fisac）。 相关软件： – 主要字段： 计算机科学（68-XX）