酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
扬子乙酰氯 61篇文献引用(1978–2022) 软件作者： 斯蒂芬·C·约翰逊 相关软件： ANTLR；Coq；野牛… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SWIG（开关） 41篇文献引用(2000–2023) 软件作者： D.M.比兹利。 相关软件： 蟒蛇；数字Py；F2PY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FFC公司 31份文件引用(2005–2023) 软件作者： A.Logg、K.B.Ølgaard、M.E.Rognes、G.N.Wells 相关软件： FEniCS；道芬；菲亚特… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TSFC公司 23篇文献引用(2016–2022) 软件作者： 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件： Firedrake；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
COULFG公司 13份文件引用(1985–2022) 软件作者： A.R.巴奈特 相关软件： COULCC公司；FGH；数字… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
夏普 在11份文件中引用(2015–2023) 软件作者： Muise，C.、McIlraith，S.A.、Beck，J.C.、Hsu，E.I。 相关软件： sharpSAT；htd；countAntom… 主要字段： 计算机科学（68-XX）
菲尔马托 6篇文献引用(2001–2018) 软件作者： Bartal，Y.，Mayer，A.，Nissim，K.，Wool，A。 相关软件： 消防员；github；NetKAT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
ShNAPr公司 8份文件引用(2021–2023) 软件作者： D.卡门斯基 相关软件： 库达尔菲什；tIGAr；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
国际专利委员会 8份文件引用(2006–2018) 软件作者： Jeremy T.Bradley。；尼古拉斯·丁格尔（Nicholas J.Dingle）。；斯蒂芬·吉尔摩（Stephen T.Gilmore）。；威廉·诺滕贝尔（William J.Knottenbelt）。 相关软件： 政治公众人物协议；棱镜；铲刀… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
圣杯 5份文件引用（2003年至2019年） 软件作者： Lennart Beringer；肯尼思·麦肯齐（Kenneth MacKenzie）；伊恩·斯塔克 相关软件： 卡米洛特；Isabelle/HOL；OCaml… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SoftFloat软件 4份文件引用(2002–2021) 软件作者： 豪泽，J。 相关软件： 国际实验室；MPFR；CUBLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
开放式愿望 3份文件引用(1991–2011) 软件作者： 格拉尼诺·A·科恩；特里·科恩 相关软件： ViT；变形DETR；闵可夫斯基发动机… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
玫瑰色 4份文件引用(2003–2010) 软件作者： 丹·昆兰 相关软件： SUIF；GAMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
酒窝 3份文件引用(2016–2017) 软件作者： 肖恩·赫尔希、杰夫·伯恩斯坦、比尔·布拉德利、安德鲁·施韦策、诺亚·斯坦因、西奥·韦伯、本·维戈达 相关软件： 漏洞；推断。网络；振动… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
护卫舰 3份文件引用(2017–2023) 软件作者： 穆德，B.，古普塔，D.，卡特，H.，巴特勒，K.R.B.，特雷纳，P。 相关软件： JustGarble；ObliVM；ABY… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
J-LO公司 3份文件引用(2009–2012) 软件作者： 埃里克·博登（Eric Bodden）；沃尔克·斯托尔茨 相关软件： 方面J；Java-MOP；DaCapo… 主要字段： 计算机科学（68-XX）
桑库斯 2份文件引用(2015–2017) 软件作者： Noorman J、Agten P、Daniels W、Strackx R、Van Herrewege A、Huygens C等人。 相关软件： TALx86；诚信；小爪哇… 主要字段： 计算机科学（68-XX）
超级计算机 3份文件引用（2010年-2023年） 软件作者： 克里斯蒂安·温泽尔·本纳（Christian Wenzel-Benner）；格拉夫、延斯 相关软件： 麦克利埃塞；mCrypton；高度… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TS公司# 2份文件引用(2014–2017) 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；卡尔蒂基扬·巴尔干；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
尼泊尔卢比+ 1份文件引用(2021) 软件作者： 扎卡里亚·艾蒂安 相关软件： NRPyCritCol；SFcollapse1D；朱庇特… 主要字段： 统计力学，物质结构（82-XX）；相对论和引力理论（83-XX）
RSCFHF公司 2份文件引用(1999–2019) 软件作者： Chernysheva有限责任公司。；亚霍恩托夫，V.L。 相关软件： GRASP92级 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
灵活 1份文件引用(2015) 软件作者： Siso-Nadal，F.，Ollivier，J.F.，Swain，P.S。 相关软件： 数字Py；失水事故；VirtualLeaf… 主要字段： 生物学和其他自然科学（92-XX）