Z轴 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
DUNE公司 204篇文献引用（2006年至2024年） 软件作者： P.Bastian、M.Blatt、A.Dedner、C.Engwer、R.Klöfkorn、R.Kornhuber、M.Ohlberger、O.Sander 相关软件： PDELab；交易.ii；DuMuX… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
欧米茄 61篇文献引用(2001–2023) 软件作者： 乔治·安德鲁斯（George E.Andrews）。；保罗，彼得；里瑟、阿克塞尔 相关软件： 组织环境信息系统；LattE；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
细屑++ 44篇文献引用(2000–2023) 软件作者： M.Lerch、G.Tischler、J.Wolff von Gudenberg、W.Hofschuster、W.Krämer 相关软件： C-XSC 2.0；国际实验室；C-XSC… 主要字段： 复变量函数（30-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVODES公司 36篇文献引用(2003–2023) 软件作者： 塞尔维亚人；A.C.辛德马什 相关软件： 日晷；ADIC；ADOL-C… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；数值分析（65-XX）…
MoDeST公司 引用于33份文件(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal公司；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
基瓦-4 27篇文献引用(2006–2020) 软件作者： Song Charng Kong博士、Xiuling Wang博士、Darrell W.Pepper博士、Juan Heinrich博士 相关软件： 基瓦-2；CHEMKIN公司；OpenFOAM… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
科卡牌手表 引用于19份文件(2014–2023) 软件作者： D.莱扬。 相关软件： 效率；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
苏西诺 在16份文件中引用(2012–2021) 软件作者： 雷纳托·M.丰塞卡 相关软件： LieART；萨拉；数学… 主要字段： 非结合环与代数（17-XX）；拓扑群，李群（22-XX）；计算机科学（68-XX）…
方案 14篇文献引用(1989–2011) 软件作者： 盖伊·L·斯蒂尔；杰拉尔德·杰伊·萨斯曼 相关软件： LISP；PVS；Lotrescheme… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
J拉舍 6篇文献引用(2008–2014) 软件作者： 萨勒纳、克里斯托夫和斯马拉格达基斯、亚尼斯 相关软件： 罗斯特拉；Daikon；埃克拉特… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
算法786 12份文件引用（1998年至2017年） 软件作者： 大卫·M·史密斯。 相关软件： MPFR；算法693；gmp… 主要字段： 特殊功能（33-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
Z3-街道 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
快速XML 9份文件引用(2017–2021) 软件作者： Yashoteja Prabhu；马尼克·瓦尔马 相关软件： DiSMEC；附录ML；单词2vec… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
萨瑟 7份文件引用(1996–2010) 软件作者： S.M.Omohundro、C.-C.Lim、J.Bilmes、， 相关软件： 埃菲尔；红宝石；回路… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
SHARCGS公司 2份文件引用(2012–2017) 软件作者： Dom，J.C.、Lottaz，C.、Borodina，T。 相关软件： 天鹅绒；ALLPATHS公司；萨克… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
杜勒剃刀 6篇文献引用(2009–2022) 软件作者： Lee，T.、Ng，V.、Gallagher，R.、Coldman，A.、McLean，D。 相关软件： AlexNet；ImageNet；glmnet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OXBench公司 5份文件引用(2008–2017) 软件作者： Raghava GPS、Searle SMJ、Audley PC、Barber JD、Barton GJ 相关软件： ClustalW；SAB标记；肌肉… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
coco_gop_ex公司 5份文件引用(2014–2021) 软件作者： 马科特，米哈利·萨巴；赫尔曼·施奇尔 相关软件： 椰子；BARON公司；QuadProgBB… 主要字段： 运筹学、数学规划（90-XX）
SoftFloat软件 4份文件引用(2002–2021) 软件作者： 豪泽，J。 相关软件： 国际实验室；MPFR；CUBLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
地籍图 4份文件引用(1983–2017) 软件作者： 马蒂·科恩（Marty S.Cohen）。；船体，T.E。；V.Carl哈马赫 相关软件： VPI；C-XSC；decNumber… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
颤振 4份文件引用(1992–2021) 软件作者： 卡迈克尔·R；叶茨，E.Carson，Jr 相关软件： Spalart-Allmaras；FEAPpv；F2PY… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
iGLASS系统 4份文件引用(2014–2019) 软件作者： Jewett，E.，罗森博格，N.A。 相关软件： 生物技术研究所；PHYLIP；三重MaxCut… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；统计学（62-XX）…
奥利奥 4份文件引用(2003–2020) 软件作者： F.多布里安；A.波顿 相关软件： CHOLMOD公司；MKL；MA27… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
RPython公司 3份文件引用(2009–2022) 软件作者： Davide Ancona、Massimo Ancona、Antonio Cuni和Nicholas D.Matsakis 相关软件： github；烟尘；爪哇格兰德… 主要字段： 计算机科学（68-XX）
歌手_阁楼 4份文件引用(2017–2020) 软件作者： 斯特凡·威策尔 相关软件： 鹦鹉螺；蟒蛇；GitHub… 主要字段： 群论与推广（20-XX）；拓扑群，李群（22-XX）；几何（51-XX）
BSPonMPI公司 3份文件引用(2004–2022) 软件作者： Wijnand J.Suijlen；罗布·H·比塞林 相关软件： BSP备份；多核BSP；GitHub… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
佛罗里达州 3份文件引用(1999–2003) 软件作者： J.Backus、J.H.Williams、E.L.Wimmers 相关软件： 玛雅人；PLaSM公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
GASTAP公司 3份文件引用(2020–2022) 软件作者： E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。 相关软件： Servois；github；加气站快车… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
Simbody公司 2份文件引用（2010年至2015年） 软件作者： 塞思、阿杰；迈克尔·谢尔曼（Michael Sherman）；彼得·伊斯曼（Peter Eastman）；斯科特，德尔普 相关软件： OpenSim；木偶；Simox… 主要字段： 粒子和系统力学（70-XX）；生物学和其他自然科学（92-XX）
索赔问题 2份文件引用(2023) 软件作者： 努涅斯·卢吉尔德，I。；Mirás Calvo，M.Á。；昆泰罗·桑多明戈，C。；Sánchez Rodríguez，E。 相关软件： —— 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
一致性 2份文件引用（2010年至2015年） 软件作者： 末日，安；埃里克·杰斯珀斯；亚历山大·科诺瓦洛夫 相关软件： 维德加；间隙 主要字段： 数论（11-XX）；结合环与代数（16-XX）；群论和推广（20-XX）
朱莉娅 2份文件引用（2013-2015） 软件作者： 福斯托·斯波托 相关软件： FunArray；Julia静态分析仪；ASTREE公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Sidon密码系统 2份文件引用（2021年-2023年） 软件作者： 拉维夫，N.，兰顿B.，塔莫I。 相关软件： ZHFE；fgb_sage；M4GB… 主要字段： 数论（11-XX）；信息与通信理论，电路（94-XX）
CSU_适配器工具 在0个文档中引用 软件作者： 科罗拉多州立大学；Brenda Dolan、Brody Fuchs、Kyle Wiens、Rob Cifelli、Larry Carey、Timothy Lang等。 相关软件： Radx；ARTview；BALTRAD… 主要字段： ——
DFTopoSim公司 1份文件引用(2013) 软件作者： 引人注目，丽莎；安妮·伯恩哈特；亚历山大·鲍彻 相关软件： ALLUVSIM公司；SGeMS；全球供应链 主要字段： 地球物理学（86-XX）
DR_HAWT（拖车） 1份文件引用(2016) 软件作者： K.Lee Slew、M.Miller、A.Fereidooni、P.Tawagi、G.El-Hage、M.Hou、E.Matida 相关软件： XFOIL；ParaView视图 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
LEMA公司 1份文件引用(2010) 软件作者： 文森特·列夫雷（Vincent Lefèvre）；菲利普·塞维尼；德迪内钦，佛罗伦萨；克劳德·皮埃尔·珍妮罗德（Claude-Pierre Jeannerod）；克利斯朵夫·莫里勒伦（Christophe Mouilleron）；戴维·普范霍尔泽（David Pfannholzer）；娜塔莉·雷沃 相关软件： —— 主要字段： 数值分析（65-XX）
三重病毒 在0个文档中引用 软件作者： Mike Shengbo Wang、Florian Beutler、Naonori S.Sugiyama 相关软件： nbodykit；天文术；蟒蛇 主要字段： ——