LOTOS公司 136篇文献中引用(1988–2023) 软件作者： 博洛涅西，T。；Brinksma，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
琳达 77份文件引用(1985–2020) 软件作者： 大卫·盖伦特 相关软件： 科莱姆；石灰；重新规范… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
普罗米拉 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森（Einar Broch Johnsen）；奥威，奥拉夫；Yu，Ingrid Chieh女士 相关软件： 羽量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
铁人舰队 18篇文献引用(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里特索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；常春藤；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DAGH公司 13份文件引用(1998–2011) 软件作者： 帕拉沙尔，马尼什；詹姆斯·布朗（James C.Browne）。 相关软件： 帕拉梅什；AMROC；SAMRAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MAGDA公司 10篇文献引用(2006–2010) 软件作者： 阿弗莎、罗科；贝尼亚米奥·马蒂诺；尼古拉·马佐卡；Venticinque，萨尔瓦多 相关软件： Globus工具包；夏洛特；MPICH-G2… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；整体分析，流形分析（58-XX）…
舒尔拉斯 7份文件引用(2006–2019) 软件作者： 李忠泽；优素福·萨阿德 相关软件： CSparse；PSPIKE公司；GenASPI… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
方面IX 4份文件引用(2001–2009) 软件作者： Franz J.豪克。；乌尔里希·贝克尔；马丁·盖尔（Martin Geier）；埃里希·迈尔（Erich Meier）；乌韦拉斯托弗；马丁·斯特克迈尔 相关软件： Rapide公司 主要字段： 计算机科学（68-XX）
C-HEAP（C-堆） 3份文件引用(2002–2006) 软件作者： 安德烈·纽兰；杰弗里·康（Jeffrey Kang）；Om Prakash Gangwal；拉马纳桑塞图拉曼；巴萨，纳塔利诺；古森、基斯；拉斐尔·佩塞特·洛皮斯；保罗·利彭 相关软件： – 主要字段： 计算机科学（68-XX）
CuArrays.jl公司 3份文件引用(2022–2024) 软件作者： 贝萨德，蒂姆；瓦伦丁·丘拉维；艾伦·爱德曼（Alan Edelman）；比约恩·德·萨特 相关软件： CUDAnative.jl；CUDA.jl；推力… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
重新塑造 3份文件引用(2010–2014) 软件作者： Rajesh Sudarsan；卡尔文·里本斯。 相关软件： IFP-C3D；METIS公司；KIVA-4… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
KSVD公司 3份文件引用(2019–2022) 软件作者： Dalal Sukkari；勒泰夫（Ltaief）、哈泰姆（Hatem）；埃斯波西托，阿尼洛；戴维·凯斯 相关软件： ScaLAPACK；图书馆学；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
LPaaS公司 2份文件引用(2018–2022) 软件作者： 罗伯塔·卡莱加里；Enrico Denti；玛丽亚尼，斯特凡诺；安德烈亚·奥米西尼 相关软件： B-Prolog；SICStus公司；再见… 主要字段： 计算机科学（68-XX）
菜单-PGG 3份文件引用(1994–2003) 软件作者： 尼科斯（Nikos），基里绍伊德斯（Chrisochoides）；杰弗里·福克斯；乔·汤普森 相关软件： pARMS；凯利；PETSc… 主要字段： 数值分析（65-XX）
机动车辆 3份文件引用(2008–2019) 软件作者： 卢西亚诺·博诺尼；Marco Di Felice；加布里埃尔·D’Angelo；米歇尔·布拉库托；洛伦佐·多纳蒂耶洛 相关软件： PartiSim；SakerGrid；APOSTLE… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
构造性证明FLP 2份文件引用(2016–2018) 软件作者： 本杰明·比斯平；鲍尔·达维德·布罗德曼；蒂姆·荣尼尼；克里斯蒂娜·里克曼；Seidler，Henning；安克·Stüber；阿诺·威廉·韦德纳；彼得斯（Kirstin Peters）；乌韦·内斯特曼 相关软件： 存档正式证据；铁人舰队；CVC4… 主要字段： 计算机科学（68-XX）
D匹配 2份文件引用(2020) 软件作者： 刘浩鹏；李广普；杰弗里·卢克曼。；李嘉欣；鲁、珊；哈里亚迪S.古纳维。；田，陈 相关软件： dBug；SAMC；米哈… 主要字段： 计算机科学（68-XX）
GRUMPS公司 1份文件引用(2003) 软件作者： Huw Evans；马尔科姆·阿特金森；玛格丽特·布朗；嘉吉、朱莉；莫里·克鲁斯（Murray Crease）；史蒂夫·德雷珀（Steve Draper）；菲尔·格雷（Phil Gray）；理查德·托马斯 相关软件： – 主要字段： 计算机科学（68-XX）
Minha公司 2份文件引用(2020) 软件作者： 努诺·马查多；梅亚，弗朗西斯科；弗朗西斯科·奈维斯；科埃略，法比奥；何塞·佩雷拉 相关软件： DCatch公司；dBug；SAMC… 主要字段： 计算机科学（68-XX）
莫纳利萨 2份文件引用(2009–2011) 软件作者： 罗格朗，I。；纽曼，H。；沃伊库·R。；Cirstoiu，C。；格里戈拉斯，C。；Dobre，C。；Muraru，A。；科斯坦，A。；Dediu，M。；斯特拉坦，C。 相关软件： BlobSeer；NetLogger（网络记录器） 主要字段： 计算机科学（68-XX）
开放式多媒体数据存储系统 1份文件引用(2017) 软件作者： 埃尔梅森·C·安德拉德。；阿尔维斯，马塞洛；马托斯、鲁本斯；布鲁诺·席尔瓦；保罗·马西尔 相关软件： – 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
零件GeMSLR 1份文件引用(2018) 软件作者： 徐天石；瓦西里斯·卡兰齐斯；李瑞鹏；奚元哲；杰弗里·狄龙；优素福·萨阿德 相关软件： GL签证；MFEM；libPTScotch… 主要字段： 数值分析（65-XX）
执行者ERL 2份文件引用(2022–2023) 软件作者： 沃尔特·卡佐拉（Walter Cazzola）；弗朗西斯科·塞萨里尼；卢卡·坦西尼 相关软件： FDR2；SCEL；CARMA… 主要字段： 计算机科学（68-XX）
数据瓶 1份文件引用(2020) 软件作者： 梅亚，弗朗西斯科；米盖尔·马托斯；里卡多·维拉萨；何塞·佩雷拉；鲁伊·奥利维拉；艾蒂安·里维埃 相关软件： ASM；PeerSim；Coq… 主要字段： 计算机科学（68-XX）
DSQMKryST公司 1份文件引用(2019) 软件作者： 布伦丝、马龙；瓦尔马，维平喀拉拉邦；安东内洛·斯卡迪奇奥；伊万·吉洛托 相关软件： SLEPc；促进；增强C++库… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
QRnet（QRnet） 1份文件引用(2023) 软件作者： Nakamura-Zimmerer，Tenavi；龚、齐；康伟（Kang，Wei） 相关软件： FPINN；RobOptim；DeepONet；…（D）… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
ScaFi系统 1份文件引用(2023) 软件作者： 乔治·奥德里托；罗伯托·卡萨迪；费卢西奥·达米亚尼（Ferruccio Damiani）；米尔科·维罗利 相关软件： MapReduce；SDEF；蛋白质… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伍特 1份文件引用(2022) 软件作者： 盖拉尔·奥斯特（Gérald Oster）；帕斯卡尔·乌尔索；帕斯卡·莫利；阿卜杜萨马德·伊明 相关软件： Logoot；伍基；woot-haskell… 主要字段： 计算机科学（68-XX）