精益 94份文件引用（2015年至2024年） 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
EPANET公司 51篇文献引用（1994年至2022年） 软件作者： 环境保护局；刘易斯·罗斯曼 相关软件： 水力发电；Ipopt；SCIP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
打开Dynamics引擎 17篇文献引用(2005–2023) 软件作者： 罗素·史密斯 相关软件： 子弹；MuJoCo；GAZEBO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
伊普森 引用于20份文件(1991–2010) 软件作者： 安迪·舒尔 相关软件： mctoolbox；LAPACK；PostgreSQL… 主要字段： 历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）…
PBEQ解决方案 14篇文献引用(2011–2022) 软件作者： S.Jo、M.Vargyas、J.Vasko-Szedlar、B.Roux、W.Im 相关软件： APBS；MIBPB；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CArtAgO公司 7份文件引用(2009–2011) 软件作者： 亚历山德罗·里奇；安德烈亚·桑蒂（Andrea Santi）；米歇尔·皮安蒂；米尔科·维罗利；安德烈亚·奥米西尼（Andrea Omicini）；马可·吉迪；马蒂亚·米诺蒂 相关软件： 杰森；贾德克斯；代理发言… 主要字段： 计算机科学（68-XX）
Simmetrix公司 在10份文件中引用(2009–2021) 软件作者： Simmetrix公司。 相关软件： 锡耶拉；TetGen公司；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ParFlow公司 9份文件引用(1993–2021) 软件作者： 阿什比，S.F。；R.D.法尔古特。；福格韦尔，T.W。；A.F.B.汤普森。 相关软件： 炒作；OpenFOAM；梅蒂斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
跳投 5份文件引用(2002–2009) 软件作者： Omer Zaki、Ewing Lusk、William Gropp、Deborah Swider 相关软件： VAMPIR（VAMPIR）；NAS平行基准；PARAVER… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
JAX医学博士 6篇文献引用(2021–2023) 软件作者： Samuel S.Schoenholz，Ekin D.Cubuk 相关软件： JAX；PyTorch；TensorFlow… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
丁德 2份文件引用(1988–1994) 软件作者： 罗德福德，R.W。；彼得斯，S.C。 相关软件： R；塞西尔；MacSpin… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
移植物 3份文件引用(2007–2020) 软件作者： Salihoglu，S.、Shin，J.、Khanna，V.、Truong，B.Q.、Widom，J。 相关软件： 吉拉夫；普雷格尔；HOGWILD… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
国际卫星通信协会 4份文件引用(2015–2017) 软件作者： K.Scheibler、S.Kupferschmid、B.Becker 相关软件： SMT-RAT；数学SAT5；CVC4… 主要字段： 计算机科学（68-XX）
超级胶水 3份文件引用(2021–2022) 软件作者： 保尔·伊杜亚德·萨林、丹尼尔·德通、托马斯·马利西维奇、安德鲁·拉比诺维奇 相关软件： D2-Net；上下文描述；ASL加热… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
第XXL部分 3份文件引用(2008–2014) 软件作者： Jens Gustedt、Stéphane Vialle、Amelia De Vivo 相关软件： 促进；Paraperm；MPI… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
PiXL型 1份文件引用(2007) 软件作者： 玛丽亚·德尔马·加拉多（del Mar Gallardo）；马丁内斯，杰苏斯；佩德罗·梅里诺；巴勃罗·努涅斯；埃内斯托·皮门特尔 相关软件： 凯撒；CAESAR_SOLVE公司；班德拉… 主要字段： 计算机科学（68-XX）
日出 2份文件引用(2022–2023) 软件作者： Kimin Lee、Michael Laskin、Aravind Srinivas、Pieter Abbeel 相关软件： 曲线；QT-点；VIME… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
咆哮 1份文件引用(2007) 软件作者： Hayes，M.、Morris，L.、Crouchley，R.、Grose，D.、VanArk，T.、Allan，R.和Kewley，J。 相关软件： MPICH-G2；Globus工具包；NAMD2… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
JMT公司 1份文件引用(2016) 软件作者： Bertoli M、Casale G、Serazzi G 相关软件： 煨；犰狳；微基准… 主要字段： 数值分析（65-XX）；运筹学，数学编程（90-XX）
mbeddr公司 1份文件引用(2017) 软件作者： 马库斯·沃尔特、丹尼尔·拉蒂乌、伯恩哈德·沙伊茨、伯恩德·科尔布 相关软件： 旋风；休谟；Cedalion… 主要字段： 计算机科学（68-XX）
NeuroSLAM公司 2份文件引用(2019–2020) 软件作者： 于芳文；尚、江亚；胡友健；米尔福德 相关软件： SeqSLAM；ORB-SLAM2；ORB-SLAM… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
路径模拟 在0个文档中引用 软件作者： N.F.Polys、D.A.Bowman、C.North、R.C.Laubenbacher、K.Duca 相关软件： 生物环境机器；BioShape；生物-PEPA… 主要字段： –
校样板 1份文件引用(2018) 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
RNA绘制 1份文件引用(2006) 软件作者： Ole Matzura，安德斯·温伯格 相关软件： Clustal X；MINITAB公司 主要字段： 组合数学（05-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
软件实验室 2份文件引用(2000) 软件作者： Catlin，Ann Christine；玛格丽特·盖塔兹斯（Margaret Gaitatzes）；埃利亚斯·霍斯蒂斯；马自都；沙哈尼·马库斯；赖斯（John R.Rice）。；Wang，Nien-Hwa；桑吉瓦Weerawarana 相关软件： NSPCG；QUADPACK公司；手指… 主要字段： 计算机科学（68-XX）
触摸开发 1份文件引用(2017) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、米查尔·莫斯卡尔（Michal Moskal）、乔纳森·德哈勒克斯（Jonathan de Halleux）、曼努埃尔·法恩德里奇（Manuel Fahndrich） 相关软件： 划伤；爱丽丝；绿脚… 主要字段： 计算机科学（68-XX）
TReac实验室 2份文件引用(2020–2022) 软件作者： Jara，D.，de Dreuzy，J.-R.，Cochepin，B。 相关软件： FEniCS-Reaktoro；TOUGHREACT公司；PHREEQC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；洛佩斯·加西亚，佩德罗；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
阿拉蒙 1份文件引用(2022) 软件作者： Hyonghun Kim、Abhay Zala、Graham Burri、Hao Tan 相关软件： 全球；木屋；西班牙… 主要字段： 计算机科学（68-XX）
生物容器 在0个文档中引用 软件作者： da Veiga Leprevost，F，Grüning，B A，Aflitos，S A，Röst，H L，Uszkoreit，J，Barsnes，H，Vaudel，M，Moreno，P，Gatto，L，Weber，J，Bai，M，Jimenez，R C，Sachsenberg，T，Pfeuffer，J，Alvarez，R-V，Griss，J，Nesvizhskii，A I和Perez-Riverol，Y 相关软件： 火花；knitr；数字标识… 主要字段： –
博芬-海姆 1份文件引用(2023) 软件作者： Lambert，N.、Raheja，T.、Ahmed，S.、Pitchford，A.、Nori，F。 相关软件： – 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
EnclaveDom公司 在0个文档中引用 软件作者： 马塞拉·梅拉拉（Marcela S.Melara）、迈克尔·弗里德曼（Michael J.Freedman）、米克·鲍曼（Mic Bowman） 相关软件： 砂壳；普里夫曼；闭包库… 主要字段： –
ForeFire公司 1份文件引用(2016) 软件作者： 菲利皮，J.B。；Bosseur，F。；D.格兰迪。 相关软件： WRF-SFIRE公司；IPython；Matplotlib… 主要字段： 流体力学（76-XX）；经典热力学，传热（80-XX）；地球物理学（86-XX）
logreq（罗格列克） 1份文件引用(2022) 软件作者： 菲利普·雷曼 相关软件： libunistring；修剪空间；newtx… 主要字段： 全局分析，流形分析（58-XX）；相对论与引力理论（83-XX）；天文学和天体物理学（85-XX）
库阿特 1份文件引用(2005) 软件作者： 加西亚·莱瓦；Barroso López，M。；Cancio Meliá，G。；Chardi Marco，B。；康斯，L。；波兹南斯基，P。；沃什布鲁克，A。；费罗，E。；A.霍尔特。 相关软件： 奥斯卡 主要字段： 计算机科学（68-XX）
QuTiP-BoFiN公司 在0个文档中引用 软件作者： 尼尔·兰伯特、塔伦·拉赫亚、西蒙·克罗斯、保罗·门策尔、沙纳瓦兹·艾哈迈德、亚历山大·皮奇福德、丹尼尔·伯加思、弗兰科·诺里 相关软件： QuantumInformation.jl；分层EOM.jl；Yao.jl… 主要字段： –