有限责任公司 79份文件引用(2006–2023) 软件作者： Lattner，C.，Adve，V。；伊利诺伊大学 相关软件： z3；朱莉娅；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
努姆巴 在48份文件中引用(2016–2024) 软件作者： S.K.Lam、A.Pitrou、S.Seibert 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： 注册会计师检查；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
盖比特 26篇文献引用(2016–2023) 软件作者： 克雷格·科斯特洛（Craig Costello）；Cédric Fornet；乔恩·豪厄尔；马尔库夫·科尔维斯；本杰明·克鲁特；迈克尔·奈赫里格（Michael Naehrig）；布莱恩·帕诺；萨米·扎赫尔 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
有限责任公司 13份文件引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；佛罗里达州默兹；卡斯滕·辛兹 相关软件： 不明飞行物；注册会计师检查；CBMC… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-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）
薄片 10篇文献引用(2016–2022) 软件作者： Carter，M.、He，S.、Whitaker，J.、Rakamarić，Z.、Emmi，M。 相关软件： CBMC；z3；SeaHorn… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
PAGAI公司 10篇文献引用(2014–2022) 软件作者： 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件： 停机坪；PPL；阿斯匹克… 主要字段： 数理逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
维尔文 9份文件引用(2012–2021) 软件作者： 赵建洲；桑托什州纳加拉卡特；Martin，Milo M.K。；史蒂夫·兹丹塞维奇 相关软件： Coq；VST-Floyd；工具链… 主要字段： 计算机科学（68-XX）
利勃朗 6篇文献引用(2011–2022) 软件作者： Carruth，C.、Christopher，E.、Gregor，D.、Kortominikov，A.、Kremenek，T.、McCall，J.、Rosier，C.、Smith，R。 相关软件： LLVM；github；R、 … 主要字段： 数论（11-XX）；统计学（62-XX）；数值分析（65-XX）…
题词 4份文件引用(2014–2024) 软件作者： 扎凯，A。 相关软件： 贾克；GeoGebra；节点.js… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
加吉特 4份文件引用(2020–2022) 软件作者： Hadfield，H.、Hildenbrand，D.、Arsenovic，A。 相关软件： Numba；GAPPCO；TbGAL… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
GraalVM公司 1份文件引用(2021) 软件作者： Niephaus，F.、Felgentre，T.、Hirschfeld，R.、。 相关软件： 斯塔丹；RPython；Pycket… 主要字段： 计算机科学（68-XX）
Ocelot公司 2份文件引用(2013–2015) 软件作者： Diamos，G.F.、Kerr，A.R.、Yalamanchili，S.、Clark，N。 相关软件： CUDA；OpenCL；铬… 主要字段： 计算机科学（68-XX）
Rllvm编译 2份文件引用(2014) 软件作者： Temple Lang，D。；弗吉尼亚州布法罗。 相关软件： R；卢比；Rllvm… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
SymDIVINE公司 2份文件引用（2018年） 软件作者： J.ázek先生、P.Bauch、H.Lauko、J.Barnat 相关软件： nuXmv；jCUTE公司；CIL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
洛林 1份文件引用(2015) 软件作者： LaPre，J.M.，Gonsiorowski，E.J.，Carothers，C.D。 相关软件： TLRW；劫持者 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；系统论；控制（93-XX）…
波莉 1份文件引用(2022) 软件作者： Grosser，T。；格罗斯林格，A。；Lengauer，C。 相关软件： libParanumal；吉米克；SPARTA… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
Rllvm公司 2份文件引用(2014) 软件作者： 坦普尔·朗，D。 相关软件： RllvmCompile；R；科学… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）
斯宾西姆 1份文件引用(2023) 软件作者： Alex Tritt、Joshua Morris、Joel Hochstetter、R.P.Anderson、James Saunderson、L.D.Turner 相关软件： Numba；qopt；PULSEE… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
CCFI公司 1份文件引用(2022) 软件作者： 马什蒂扎德（A.J.Mashtizadeh）、比托（A.Bittau）、博内赫（D.Boneh）、马齐埃尔（D.Mazières）。 相关软件： QARMA；有限责任公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
附着于 在0个文档中引用 软件作者： Vasilev V.、Canal P.、Naumann A.、Russo P。 相关软件： LALSuite公司；CFITSIO；Healpix… 主要字段： ——
克雷尔夫姆 1份文件引用(2021) 软件作者： Kang，J.、Kim，Y.、Song，Y.，Lee，J.，Park，S.、Shin，M.D.、Kim。 相关软件： WebAssembly；CVT；松散… 主要字段： 计算机科学（68-XX）
LibFuzzer公司 1份文件引用(2023) 软件作者： 塞雷布雷尼，K。 相关软件： github；内乌兹；FuzzGen… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
神经矢量器 在0个文档中引用 软件作者： 阿梅尔·哈伊·阿利（Ameer Haj-Ali）、内斯琳·艾哈迈德（Nesreen K.Ahmed）、特德·威尔克（Ted Willke）、索菲亚·邵（Sophia Shao）、克里斯特·阿萨诺维奇（Krste Asanovic）、伊恩·斯托伊卡 相关软件： 亚当；XLA；TensorFlow… 主要字段： ——
ProGraML软件 在0个文档中引用 软件作者： Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件： 亚当；XLA；TensorFlow… 主要字段： ——
石龙子 1份文件引用（2018年） 软件作者： Cassez，F.、Sloane，A.M.、Roberts，M.、Pigram，M.，Suvanpong，P.、de Aledo，P.G 相关软件： 终极Kojak；终极大班；注册会计师检查程序… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
热4PFM 1份文件引用(2023) 软件作者： Jean-Luc Fattebert；斯蒂芬·德维特（Stephen DeWitt）；奥雷连·佩伦（Aurelein Perron）；约翰·特纳 相关软件： 第二条军规；增强C++库；升压… 主要字段： 经典热力学，传热（80-XX）；统计力学，物质结构（82-XX）
可变气门正时（VVT） 1份文件引用(2017) 软件作者： 亨宁·贡瑟；阿尔芬斯·拉阿尔曼（Alfons Laarman）；西蒙·扬奇 相关软件： CTIGAR公司 主要字段： 计算机科学（68-XX）