利比亚中央银行 60篇文献引用(2009–2023) 软件作者： 查查特，B 相关软件： ANTIGONE公司；BARON公司；MAiNGO… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
RAMSES公司 45篇文献引用(2006–2023) 软件作者： R.Teyssier公司 相关软件： GADGET公司；涅槃；闪烁… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
船长 39篇文献引用(2006–2023) 软件作者： 师彼得·扬 相关软件： Matlab；CONTSID；系统标识工具箱… 主要字段： 统计学（62-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
弗拉塔 26篇文献引用(2009–2023) 软件作者： 马吕斯·博兹加；半径Iosif；菲利普·科内克尼；托马斯·沃伊纳尔 相关软件： Eldarica公司；公主；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
COSTA公司 22篇文献引用(1992–2020) 软件作者： 埃尔维拉·阿尔伯特（Elvira Albert）、普里·阿雷纳斯（Puri Arenas）、萨米尔·吉纳伊姆（Samir Genaim）、杰尔曼·普埃布拉（Germanán Puebla）、达米亚诺·扎纳尔迪尼（Damiano Zanardini） 相关软件： 速度；AProVE；参考… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；偏微分方程（35-XX）…
GNUC公司 14篇文献引用(2013–2022) 软件作者： 丹尼斯·霍夫海因茨（Dennis Hofheinz）；维克多，大叫 相关软件： 国防部；隐秘HOL；塔马林… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SCASY公司 12份文件引用（2009年至2020年） 软件作者： 罗伯特·格拉纳特（Robert Granat）；伊萨克·琼森；科格斯特罗姆，波 相关软件： ScaLAPACK；算法432；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
王牌 10篇文献引用(1991–2022) 软件作者： Le Métayer，D。 相关软件： PURRS；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
RAI代码 8份文件引用(2009–2019) 软件作者： Yehezkel，Raanan；波阿斯·勒纳 相关软件： 四分体；BNT；pcalg… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
鲁莽的 8份文件引用(2004–2022) 软件作者： 罗伯特·格拉纳特（Robert Granat）；伊萨克·琼森；科格斯特罗姆，波 相关软件： mctoolbox；BLAS；GEMM… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
PRECiSA公司 6篇文献引用(2018–2022) 软件作者： 劳拉·蒂托洛；马可·A·费利乌。；玛丽亚诺·莫斯卡托；塞萨尔·穆尼奥斯。 相关软件： RangeLab；z3；ASTREE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
Hyperion公司 3份文件引用(2016–2020) 软件作者： 杰里·斯旺（Jerry Swan）、恩德·奥兹坎（Enderzcan）、格雷厄姆·肯德尔（Graham Kendall） 相关软件： HyFlex；超启发式；GTSP-LIB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RECAL公司 5份文件引用（1986年至2020年） 软件作者： 康威，A.E。；新墨西哥州乔治亚纳斯。 相关软件： – 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
修复包 3份文件引用(2013–2017) 软件作者： 团结方；Minh-Thai Trinh；Anh-Hoang Truong；魏恩甘钦 相关软件： MemCAD；TVLA；捕食者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
部分DSA 3份文件引用(2012–2019) 软件作者： 凯伦·洛斯特里托；罗伯特·斯特劳德曼（Robert L.Strawderman）。；安妮特·莫利纳罗（Annette M.Molinaro）。 相关软件： 随机生存森林；聚会；随机森林… 主要字段： 统计学（62-XX）
XMR公司 3份文件引用(2013–2018) 软件作者： Paul R.Willems。；布鲁诺·朗 相关软件： 拉帕克；开放式BLAS；EISPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
算法848 引用于2份文件(2005–2011) 软件作者： 斯宾塞·D·谢尔曼。；西科尔斯基，K。 相关软件： BEDFix；minpack；TENSOLVE公司 主要字段： 算子理论（47-XX）；数值分析（65-XX）
繁荣 在0个文档中引用 软件作者： Gerard Basler；黑格，马修；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： 卫星抗体 主要字段： –
欢欣 引用于2份文件(2020–2022) 软件作者： 科斯塔斯·瓦西洛普洛斯（Kostas Vasilopoulos）、埃夫奇米奥斯·帕夫利迪斯（Efthymios Pavlidis）、西蒙·斯帕沃恩（Simon Spavound）、恩里克·马丁内斯·加西亚 相关软件： 心理监护仪；radf；多气泡… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
4you模型 在0个文档中引用 软件作者： 海蒂·塞博尔德（Heidi Seibold）、阿奇姆·泽利斯（Achim Zeileis）、托尔斯滕·霍霍恩（Torsten Hothorn） 相关软件： ggplot2；R；侧面… 主要字段： –
SociaLite公司 1份文件引用(2022) 软件作者： Jiwon Seo；Stephen Guo；莫妮卡·S·林 相关软件： 普雷格尔；大数据日志；Naiad… 主要字段： 计算机科学（68-XX）
刺激 引用于2份文件(2014–2019) 软件作者： Elise Dusseldorp、Claudio Conversano、Cor Ninaber、Kristof Meers、Peter Neufeglise、Juan Claramunt 相关软件： GPLTR；棕榈树；批处理工具… 主要字段： 统计学（62-XX）
埃斯普里茨 1份文件引用(2016) 软件作者： 伊恩·沃尔什、阿尔贝托·马丁、托马斯·迪·多梅尼科、西尔维奥·托萨托 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
LISPACK系列 1份文件引用（1992年） 软件作者： Iazeolla G.、Marinuzzi F 相关软件： 丽莎；穆马特-83 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）
NetOrigin（网络来源） 在0个文档中引用 软件作者： 朱利安·马尼茨（Juliane Manitz）、乔纳斯·哈伯林（Jonas Harbering） 相关软件： hergm；gergm；ergm… 主要字段： –
资源集 1份文件引用（2018年） 软件作者： 亚历山大·哈弗迈耶（Alexander Hapfelmeier）；库尔特·乌尔姆；伯恩哈德·哈勒 相关软件： mfp；进化树；rpart… 主要字段： 统计学（62-XX）
SoRoSim公司 在0个文档中引用 软件作者： 安娜·蒂约·马修（Anup Teejo Mathew）、伊赫拉斯·本·赫米达（Ikhlas Ben Hmida）、科斯坦扎·阿玛尼尼（Costanza Armanini）、弗雷德里克·博伊尔（Frederic Boyer）、费德里科·伦达 相关软件： 控制系统工具箱；优化工具箱；TMTDyn… 主要字段： –
出租车司机 1份文件引用(2023) 软件作者： 张超、陶方波、陈秀思、沈嘉明、孟江、布赖恩·萨德勒、米歇尔·凡尼、韩嘉伟 相关软件： 剪影；HiExpan公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）