foreach公司 33篇文献引用(2013–2023) 软件作者： Steve Weston，Revolution Analytics公司 相关软件： R；do并行；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Multilisp公司 31份文件引用(1985–2022) 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；辛纳尔，阿夫拉姆；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
iPTM-mLys公司 26篇文献引用(2016–2019) 软件作者： 邱伟荣。；孙碧琴。；Xiao，X。；徐，Z.C。；周，K.-C。 相关软件： Pse-in-One；iRNA-PseColl；pLoc-mAnimal… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
科卡 19份文件引用(2014–2023) 软件作者： Leijen博士。 相关软件： 效率；github；ML… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
国际有色人种协进会 17篇文献引用(2016–2019) 软件作者： Chen，W。；丁，H。；冯，P。， 相关软件： pSuc-Lys；iSuc-PseOpt；pLoc-mEuk… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
BAP（BAP） 7份文件引用(2012–2021) 软件作者： Brumley，D.、Jager，I.、Avgerinos，T.、Schwartz，E.J。 相关软件： BitBlaze；ASTREE公司；z3… 主要字段： 计算机科学（68-XX）
百里香 9份文件引用（2010年至2021年） 软件作者： Le Coq，G。；奥布里，S。；Cahouet，J。；Lequesne，P。；尼古拉斯，G。；巴斯托里尼，S。 相关软件： FLICA-4；CATHARE公司；阿古拉… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
NES工具箱 8份文件引用(2014–2023) 软件作者： 基拉·雷费尔德（Kira Rehfeld），贝达莎·戈斯瓦米（Bedartha Goswami） 相关软件： 皮尔逊T；FINUFFT公司；Chebfun… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
nuSpectral（无光谱） 4份文件引用(2011–2020) 软件作者： 阿道夫·马蒂亚斯；Florian Grond；Ramon Guardans；Detlef Seese；米盖尔·卡内拉；汉斯·迪布纳 相关软件： R；PRMLT；光谱… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
WindGEAR公司 5份文件引用(2019–2022) 软件作者： 萨巴莱，阿迪亚；Nagendra Gopal，K.V.公司。 相关软件： TurbSim；AeroDyn；NuMAD… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）…
PVSio公司 引用于3份文件(2007–2015) 软件作者： 塞萨尔·穆尼奥斯 相关软件： PVS；Coq；MetiTarski… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CANv2 2份文件引用（2010年至2021年） 软件作者： 克劳迪娅·R·卡利多娜。；阿黛尔·纳迪奥；朱塞佩·A·特朗菲奥。；萨尔瓦多迪格雷戈里奥 相关软件： PYR；OpenCAL；Kokkos… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
GPvam公司 2份文件引用(2013–2014) 软件作者： 安德鲁·卡尔（Andrew Karl）、杨燕（Yan Yang）、莎伦·洛尔（Sharon Lohr） 相关软件： 矩阵；R；吉咪… 主要字段： 统计学（62-XX）
SIMS系统 2份文件引用(2013–2018) 软件作者： 沃罗布耶夫·Y·N·，赫尔曼斯·J·。 相关软件： MetaMol；PAFMPB；GT引擎… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
桑布雷罗 2份文件引用(2012–2018) 软件作者： Niewienda，A。；F.D.海特。 相关软件： 蟒蛇 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
ZEBRA公司 2份文件引用(1991–2001) 软件作者： R.Brun；欧洲核子研究所 相关软件： SAX；根；高迪… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）
弗雷格尔 1份文件引用(2022) 软件作者： 岩崎、秀霞；肯托州埃莫托；森田、秋叶；松崎，Kiminori；胡镇江 相关软件： SympleGraph；美人鱼；PathGraph… 主要字段： 计算机科学（68-XX）
HBPS公司 在0个文档中引用 软件作者： 冈萨雷斯-卡莱罗（Gonzalez-Calero）、何塞·安东尼奥（Jose Antonio）；大卫·阿尔诺；路易斯·普格（Luis Puig）；阿雷瓦利洛·赫雷兹，米格尔 相关软件： —— 主要字段： ——
动力MV 1份文件引用(2015) 软件作者： J.Liu、J.Feng、A.Brooks、S.Young 相关软件： QuBiLs-MIDAS；ToMoCoMD-CARDD；龙 主要字段： 生物学和其他自然科学（92-XX）
Xformatter格式 1份文件引用(2003) 软件作者： Brüggemann-Klein，Anne；罗尔夫·克莱恩；斯特凡·沃尔菲尔 相关软件： FrameMaker；特克斯；LaTeX… 主要字段： 计算机科学（68-XX）