Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；Jean-François Dufourd 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
CUDA公司 1187年文献引用（2007年至2024年） 软件作者： NVIDIA公司；佩特·文格曼；Frank H.P.菲泽克。 相关软件： OpenCL；CUBLAS；Matlab… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
毫升 引用于516份文件（1978年至2024年） 软件作者： 罗伯特·哈珀；罗宾·米尔纳（Robin Milner）；托夫特、麦兹；爱丁堡大学 相关软件： HOL；辅酶q；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
米扎尔 535份文件引用(1983–2024) 软件作者： Grzegorz Bancerek公司；茨瓦夫·拜林斯基；亚当·格拉博夫斯基（Adam Grabowski）；阿图尔·科尼洛维奇；罗伯特·米列夫斯基（Robert Milewski）；亚当·诺莫维奇（Adam Naumowicz）；Andrzej Trybulec；约瑟夫·乌尔班 相关软件： 辅酶q；Isabelle/HOL；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
MINOS公司 引用于461份文件(1980–2023) 软件作者： B.A.Murtagh；M.A.桑德斯 相关软件： GAMS；SNOPT；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Turbo帕斯卡 165篇文献引用(1985–2017) 软件作者： 博兰德；菲利普·卡恩 相关软件： dBase；减少；COBOL… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
OCaml公司 274份文件引用(1998–2023) 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： 辅酶q；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
PHC包 250篇文献引用(1999–2024) 软件作者： 简·维舍尔 相关软件： 贝尔蒂尼；麦考利2号；HOM4PS… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
有限元分析 引用于213份文件(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；阿巴夸斯；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CSDP公司 212篇文献引用(1999–2023) 软件作者： 布莱恩·博彻斯 相关软件： SeDuMi公司；SDPT3；SDPA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Modula公司 193份文件引用(1977–2018) 软件作者： Wirth N.公司。 相关软件： Ada95；奥伯龙；Smalltalk… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
动力学 186篇文献引用(1994–2022) 软件作者： 海伦娜·E·努斯。；詹姆斯·约克（James A.Yorke）。 相关软件： 自动；HomCont；数学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
MKL公司 158份文件引用(2002–2024) 软件作者： 英特尔 相关软件： LAPACK；BLAS；CUDA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
AXIOM公司 173篇文献引用（1992年至2022年） 软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/公理网站/community.html 相关软件： 枫树；Mathematica；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
规格# 111篇文献引用(2005–2023) 软件作者： 迈克·巴奈特（Mike Barnett）；K.Rustan M.Leino；沃尔夫拉姆·舒尔特 相关软件： JML；ESC/Java；布吉… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
C-XSC（C-XSC） 111篇文献引用(1992–2023) 软件作者： 克里斯蒂安·劳奥 相关软件： C-XSC 2.0；国际实验室；进入PT_90… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达夫尼 105篇文献引用(2010–2024) 软件作者： 鲁斯坦·莱诺 相关软件： z3；Why3；布吉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
有限责任公司 79份文件引用(2006–2023) 软件作者： Lattner，C.，Adve，V。；伊利诺伊大学 相关软件： z3；朱莉娅；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QDES公司 109篇文献引用(1991–2023) 软件作者： 斯蒂芬·博伊德（Stephen P.Boyd）。；克雷格·巴拉特。 相关软件： LMI工具箱；SeDuMi公司；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
西雅娜 75篇文献引用(2012–2023) 软件作者： J.Bergstra、O.Breuleux、F.Bastien、P.Lamblin、R.Pascanu、G.Desjardins、J.Turian、D.Warde-Farley、Y.Bengio。 相关软件： TensorFlow；亚当；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FISHPAK公司 106篇文献中引用(1979–2023) 软件作者： Adams，J.、Swarztrauber，P.、Sweet，R 相关软件： IIMPACK；泥袋-2；MUDPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
GHC公司 96篇文献引用(1992–2021) 软件作者： 西蒙·佩顿（Simon Peyton）琼斯（Jones）；西蒙·马洛 相关软件： 哈斯克尔；毫升；OCaml… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
斯卡拉 88篇文献引用(2005–2023) 软件作者： Christos K.K.Loverdos。；阿波斯托洛斯·西罗普洛斯 相关软件： 辅酶q；z3；轻量级Java… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
seL4级 92份文件引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.，Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.，Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；辅酶q；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
卡斯珀 83份文件引用(1999–2018) 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
努姆巴 在48份文件中引用(2016–2024) 软件作者： S.K.Lam、A.Pitrou、S.Seibert 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
赛马拉松 引用于54份文件(2008–2023) 软件作者： Behnel，S.、Bradshaw，R.、Dalcín，L.、Florisson，M.、Makarov，V.、Seljeboton，D.S。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
STL公司 72份文件引用(1997–2021) 软件作者： 大卫·穆瑟（David R.Musser）、亚历山大·斯捷潘诺夫（Alexander Stepanov） 相关软件： 促进；增强C++库；CGAL… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ECOS公司 73篇文献引用(2014–2023) 软件作者： 亚历山大·多马希迪（Alexander Domahidi）、埃里克·朱（Eric Chu）、圣地亚哥·阿克勒（Santiago Akle）、汉·王（Han Wang） 相关软件： CVXPY；莫塞克；SCS… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI Prolog公司；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
TAMC公司 72份文件引用(1998–2021) 软件作者： Giering，Ralf；托马斯·卡明斯基 相关软件： TAF；ADIFR；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ANTLR公司 53篇文献引用(1997–2023) 软件作者： 帕尔，T。；于丹；颜洪志；王吉娜 相关软件： Stratego；YACC；JastAdd（添加）… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
扬子乙酰氯 61篇文献引用(1978–2022) 软件作者： 斯蒂芬·约翰逊 相关软件： ANTLR；辅酶q；野牛… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CompCert公司 58篇文献引用(2009–2023) 软件作者： X·勒罗伊。 相关软件： 辅酶q；Isabelle/HOL；z3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
蛋糕ML 60篇文献引用(2014–2023) 软件作者： 库马尔，拉马纳；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；辅酶q；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
SWIG（开关） 41篇文献引用(2000–2023) 软件作者： D.M.比兹利。 相关软件： 蟒蛇；数字Py；F2PY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PHiPAC公司 在48份文件中引用(1997–2016) 软件作者： Jeff A Bilmes；克尔斯特·阿萨诺维奇；Rich Vuduc；Sriram Iyer；吉姆·德梅尔（Jim Demmel）；CheeWhye Chin；多米尼克·林 相关软件： ATLAS；BLAS；LAPACK… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
dcc公司 46篇文献引用(2012–2023) 软件作者： 乌韦·诺曼 相关软件： ADOL-C；锥体；旋转… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
FORMAC公司 43篇文献引用（1964年至1996年） 软件作者： Sammet，J.E。；邦德·E·R。 相关软件： 损益表；减少；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
伊德里斯 40篇文献引用(2011–2023) 软件作者： 埃德温·布雷迪 相关软件： 辅酶q；阿格达；Irdis… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
OpenACC（开放ACC） 28篇文献引用(2014–2023) 软件作者： 桑德拉·维恩克；保罗·斯普林格；克里斯蒂安·特博文（Christian Terboven）；迪特尔·安·梅 相关软件： CUDA；OpenCL；CUBLAS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
NINJA公司 30篇文献引用(2000–2019) 软件作者： 何塞·莫雷拉（JoséE.Moreira）。；塞缪尔·米奇夫（Samuel P.Midkiff）。；马尼什省古普塔；吴鹏；乔治·阿尔马西（George Almasi）；佩德罗·阿蒂加斯 相关软件： TNT；爪哇格兰德；忍者… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
烟尘 32篇文献引用(2004–2023) 软件作者： 瓦列·雷（Valleée-Rai，R.）、加格农（Gagnon，e.）、亨德伦（Hendren，L.J.）、兰姆（Lam，P.）、波明维尔（Pominville，P.，Sundaresan，V.）。 相关软件： GitHub；达卡波；方面J… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
闪电战++ 25篇文献引用(2000–2021) 软件作者： Todd L.Veldhuizen。 相关软件： Blitz++库；促进；LAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IBM草稿行 34份文件引用(1974–2021) 软件作者： 理查德·詹克斯（Richard Jenks）；IBM公司 相关软件： 枫树；伊斯兰教；AXIOM… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
FFC公司 31份文件引用(2005–2023) 软件作者： A.Logg、K.B.Ölgaard、M.E.Rognes、G.N.Wells 相关软件： FEniCS；道芬；菲亚特… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MediaBench公司 16篇文献引用(2001–2016) 软件作者： Lee，C.，Potkonjak，M.，Mangione-Smith，W.H。 相关软件： MiBench公司；简单标尺；瓦茨… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
PyCUDA公司 23篇文献引用(2011–2023) 软件作者： NVIDIA公司 相关软件： PyOpenCL；CUDA；Python… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
旋风 30篇文献引用(2003–2022) 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫；吉姆·特雷弗 相关软件： 哈斯克尔；CCured；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
QuickBasic（快速基本） 9份文件引用(1990–2012) 软件作者： 微软 相关软件： AFMULT；S-加；Matlab… 主要字段： 实函数（26-XX）；特殊功能（33-XX）；统计学（62-XX）…
瓦茨 12份文件引用(2001–2023) 软件作者： D.Brooks、V.Tiwari、M.Martonosi 相关软件： 简单标尺；MiBench公司；SoftExplorer… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DACTL公司 28篇文献引用(1987–2015) 软件作者： John R.W.Glauert、Richard Kennaway、George A.Papadopoulos、Ronan Sleep 相关软件： 迭戈；进度；蒙斯特… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
回路 24篇文献引用（2001年至2012年） 软件作者： 约阿希姆·范登伯格；巴特·雅各布斯 相关软件： JML；PVS；卡拉卡拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： 注册会计师检查；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
SUIF公司 15篇文献引用(1995–2011) 软件作者： 罗伯特·威尔逊；罗伯特·S·弗伦奇；克里斯托弗·威尔逊（Christopher S.Wilson）；萨曼·阿马拉辛格（Saman P.Amarasinghe）；詹妮弗·安德森（Jennifer M.Anderson）；Steve W.K.Tjiang；廖世伟；周文曾；玛丽·W·霍尔；莫妮卡·S·林；汉尼斯 相关软件： CUDA；MiBench公司；ParaWise… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
TSFC公司 23篇文献引用(2016–2022) 软件作者： 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件： Firedrake；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
盖比特 26篇文献引用(2016–2023) 软件作者： 克雷格·科斯特洛（Craig Costello）；Cédric Fornet；乔恩·豪厄尔；马尔库夫·科尔维斯；本杰明·克鲁特；迈克尔·奈赫里格（Michael Naehrig）；布莱恩·帕诺；萨米·扎赫尔 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
项目Q 17篇文献引用(2019–2024) 软件作者： Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件： qHiPSTER；液体；Python… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
CCSL公司 24篇文献引用(2001–2015) 软件作者： Jan Rothe、Bart Jacobs和Hendrik Tews 相关软件： PVS；CoCasl；CASL… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
GrGen公司 19份文件引用(2006–2023) 软件作者： 盖·鲁比诺；格诺特·维特（Gernot Veit Batz）；丹尼尔·格兰德（Daniel Grund）；塞巴斯蒂安·哈克；亚当·萨勒科夫斯基 相关软件： AGG；富贾巴；凹槽… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
SACLIB公司 23篇文献引用(1993–2009) 软件作者： 大卫·G·理查德森：维尔纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
咖啡 20篇文献引用(2016–2021) 软件作者： Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件： Firedrake；PETSc；TSFC… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
美味的 22篇文献引用(2011–2023) 软件作者： Henecka，W.、Kögl，S.、Sadeghi，A.-R.、Schneider，T.、Wehrenberg，I。 相关软件： ABY；VMCrypt；FairplayMP… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
通量 在11份文件中引用(2020–2024) 软件作者： Innes M酒店 相关软件： 朱莉娅；微分方程.jl；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Jif公司 19份文件引用（2006年至2021年） 软件作者： A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom 相关软件： FlowFox；CoSMed；CAVA LTL模型检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PAG公司 20篇文献引用（1996-2018） 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
ParLinSys公司 21篇文献引用(2004–2022) 软件作者： Evgenija D.波波娃。；沃尔特·克雷默 相关软件： 国际实验室；C-XSC；C-XSC 2.0… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
帕索尔 19份文件引用(2005–2017) 软件作者： 亚库斯·舍夫，亚历山大；采吉斯，雷蒙达斯；劳凯蒂，印加；特罗菲莫夫，维亚切斯拉夫 相关软件： PETSc；BALaser；Diffpack… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡颖；阿米尔·普努利；祖克，莱诺 相关软件： CVT；辅酶q；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
费利克斯 19份文件引用(1991–2023) 软件作者： 约阿希姆·阿佩尔、乌韦·克劳斯 相关软件： 复数；单一；麦考利2… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
ArchJava建筑 10篇文献引用(2002–2017) 软件作者： 乔纳森·奥尔德里奇；钱伯斯，克雷格；大卫·诺金 相关软件： SOFA 2.0；宽带；UMLDiff… 主要字段： 计算机科学（68-XX）
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： 辅酶q；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SQOPT公司 19份文件引用(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
无级变速器 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
雅加达 17篇文献引用(2001–2014) 软件作者： 丹妮拉·朱尼奥·德安德拉德（Daniela Junho de Andrade）、圣母玛利亚·德索萨（Simáo Melo de Sousa） 相关软件： 辅酶q；OCaml；LETOS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
特尤斯 18篇文献引用(2001–2022) 软件作者： Nadathur，G.，Mitchell，D.J。 相关软件： Twelf；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TTM公司 18篇文献引用(2007–2023) 软件作者： J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas 相关软件： TRP++；拉比尼泽；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CertiCoq认证 17篇文献引用(2017–2022) 软件作者： Anand，A.，Appel，A.，Morrisett，G.，Paraskevopoulou，Z.，Pollack，R.，Belanger，O.S.，Sozeau，M.，Weaver，M。 相关软件： 辅酶q；CakeML；OEuf… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
C制动器 14篇文献引用(2009–2023) 软件作者： 马丁·K。；B.霍夫曼。 相关软件： 增强C++库；促进；LAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
有限责任公司 13份文件引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；佛罗里达州默兹；卡斯滕·辛兹 相关软件： 不明飞行物；注册会计师检查；CBMC… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
奥梅加 17篇文献引用(2003–2023) 软件作者： 莫罗·莫雷蒂（Mauro Moretti）、托尔斯滕·奥尔（Thorsten Ohl）、尤尔根·路透社（Jürgen Reuter） 相关软件： WHIZARD公司；CompHep；SHERPA… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OmpSs公司 10篇文献引用(2015–2023) 软件作者： Bueno J、Planas J、Duran A、Badia RM、Martorell X、Ayguade E等人。 相关软件： StarPU；强力胶；DLB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
C++生成器 15篇文献引用(1997–2011) 软件作者： Embarcadero技术公司 相关软件： 德尔福；PC-Lint；Visual C++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
戴纳 13份文件引用(2008–2022) 软件作者： 杰森·艾斯纳；埃里克·戈德鲁斯特（Eric Goldlust）；诺亚·A·史密斯；西北部菲拉多。 相关软件： ProbLog；棱镜；kProbLog… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
建模和优化系统 15篇文献引用(2006–2023) 软件作者： wolfram.com；János D.Pintér；弗兰克·J·坎帕斯 相关软件： Mathematica；LGO；Maple全局优化工具箱… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
ScaffCC公司 在11份文件中引用(2017–2023) 软件作者： Ali JavadiAbhari、Shruti Patil、Daniel Kudrow、Jeff Heckey、Alexey Lvov、Frederic Chong和Margaret Martonosi 相关软件： 奎珀；项目Q；GitHub… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
可视化DSD 15篇文献引用(2013–2023) 软件作者： Lakin，M.R.、Youssef，S.、Polo，F.、Emmott，S.和Phillips，A。 相关软件： 棱镜；z3；Z34Bio… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）…
ARMCI公司 9份文件引用(2000–2010) 软件作者： J.Nieplocha、V.Tipparaju、M.Krishnan、D.Panda 相关软件： CoArray；NAS平行基准；MPI… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
方面C++ 10篇文献引用（2003年至2012年） 软件作者： Olaf Spinczyk、Daniel Lohmann、Matthias Urban 相关软件： 方面J；功能C++；加齐… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者： 什耶夫切克，雅罗斯拉夫；维克多·瓦菲亚迪斯；弗朗西斯科·扎帕·纳德利（Francesco Zappa Nardelli）；苏雷什·贾甘纳森；彼得·休厄尔 相关软件： 辅酶q；CompCert；皮尔斯纳… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…