Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 精灵，马提亚斯；卡斯滕，古特文格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；交响乐… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BGL公司 61篇文献引用(2007–2023) 软件作者： JG Siek、LQ Lee、A Lumsdaine 相关软件： 促进；增强C++库；CGAL… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
火花 46篇文献引用(2015–2024) 软件作者： Zaharia M、Chowdhury M、Franklin MJ、Shenker S、Stoica I 相关软件： MapReduce；Hadoop；Dryad… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
OGDF公司 44篇文献引用(2008–2023) 软件作者： 马库斯·奇马尼；卡斯滕·古特温格；迈克尔·朱格尔（Michael Jünger）；卡斯滕·克莱因（Karsten Klein）；佩特拉·穆策尔（Petra Mutzel）；舒尔茨 相关软件： 斯坦利布；GDToolkit；SCIP… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
阵列Express 14篇文献引用(2007–2019) 软件作者： EMBL-EBI；海伦·E·帕金森。；米沙·卡普什斯基（Misha Kapushesky）；穆罕默德·肖贾塔拉布；Niran Abeygunawardena；库尔森，R。；Anna Farne；埃利·霍洛韦（Ele Holloway）；Kolesnykov，N。；Lilja，P。；卢克，M。；曼尼，R。；蒂姆·雷纳（Tim Rayner）；安詹·夏尔马（Anjan Sharma）；威廉·E。；乌吉斯萨尔坎人；阿尔维斯·布拉兹马 相关软件： 生物导体；R；gcrma… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SciANN公司 33篇文献引用(2021–2024) 软件作者： 伊桑·哈希亚特；鲁本·胡安斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
橙色 在15份文件中引用(2012–2023) 软件作者： Janez Demšar；科克，托马奇；埃尔贾维克，阿列什；戈鲁普，乔特；霍奇瓦尔，托马奇；米卢蒂诺维奇，米塔尔；马丁·莫伊纳；马蒂亚，波拉杰纳尔；托普拉克，马尔科；斯塔里奇，安季；Štajdohar，米哈；兰·乌梅克（Lan Umek）；琼脂，兰；朱尔·邦塔；日特尼克，马林卡；布拉泽祖潘 相关软件： 蟒蛇；Scikit；威卡… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
精彩 20篇文献引用(2019–2023) 软件作者： Ashur，T。；德胡厄，S。 相关软件： MiMC；波塞冬；低MC… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
McOE公司 18篇文献引用(2012–2021) 软件作者： E.Fleischmann、C.Forler、S.Lucks 相关软件： ELmD；瘦骨嶙峋；MCBC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
瑞士法郎 14篇文献引用(2008–2019) 软件作者： 克里斯托夫·本兹穆勒；弗洛里安·拉贝（Florian Rabe）；杰夫·萨特克利夫 相关软件： TPTP；E定理证明器；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
正式舞会 7份文件引用(2005–2022) 软件作者： van Dongen，B.F。；de Medeiros，A.K.A。；H.M.W.韦贝克。；魏杰特斯（A.J.M.M.Weijters）。；范德阿尔斯特，W.M.P。 相关软件： 红矿工；混合ILPMiner；XESome… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ELFI公司 7份文件引用(2019–2024) 软件作者： 林图萨里，雅诺；亨利·武列科斯基；安蒂省坎卡斯拉西奥；库斯蒂·斯凯特；马尔科·Järvenpää；佩卡·马丁宁；迈克尔·古特曼（Michael U.Gutmann）。；Aki Vehtari；科兰德，朱卡；塞缪尔·卡斯基 相关软件： 天文ABC；PyTorch；ABCpy… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
音乐21 5份文件引用（2015年-2023年） 软件作者： Cuthbert，M.S.，Ariza，C 相关软件： j符号；蟒蛇；音乐变形金刚… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
维基数据库 8份文件引用(2013–2023) 软件作者： Wikidata开发团队 相关软件： 地理名称；雅高；SPARQL… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；代数几何（14-XX）…
HPF/JA公司 6篇文献引用(2002) 软件作者： Seo，Yoshiki；岩田秀树；Ohta，Hiroshi；Sakagami、Hitoshi 相关软件： NAS并行基准测试 主要字段： 计算机科学（68-XX）
SFCGen公司 5份文件引用(2005–2016) 软件作者： 金国华；约翰·梅勒·库梅伊 相关软件： 算法781；英特尔TBB；AMRCLAW… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
Decon2LS公司 2份文件引用(2010–2018) 软件作者： Jaitly，N.等人。 相关软件： Toppic；马塞斯坦；NITPICK… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
HaLoop公司 3份文件引用(2015–2022) 软件作者： Bu，Y。；Howe，B。；Balazinska，M。；医学博士恩斯特。 相关软件： Hadoop；普雷格尔；扭曲… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
ProMoVer公司 引用于4份文件(2011–2016) 软件作者： 苏莱曼尼法德，锡亚瓦什；古罗夫，帝力；马里克，Huisman 相关软件： MAVEN公司；DeltaCCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
可视化文档 引用于4份文件(2005–2011) 软件作者： Vanderplaats研发公司。 相关软件： 运输部；ABAQUS/标准；起源 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
护身符 1份文件引用(2021) 软件作者： Brad A Myers、Richard G McDaniel、Robert C Miller、Alan S Ferrency、Andrew Fauling、Bruce D Kyle、Andrew-Mickish、Alex Klimovitski、Patrick Doane 相关软件： 天蓝色；蟒蛇；供应… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MT2DInvMatlab 3份文件引用(2018–2021) 软件作者： Lee，S.K。；Kim，H.J。；Song，Y。 相关软件： 花季；EMOD2D；FDFD… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）；地球物理学（86-XX）
多路NCC 3份文件引用（2015年-2023年） 软件作者： Nathalie C.Stoer，斯文·奥维·萨缪尔森 相关软件： Epi；风险设定ROC；生命线… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）
PolyFARM公司 3份文件引用(2002–2012) 软件作者： 阿曼达·克莱尔；罗斯·D·金。 相关软件： GOLEM公司；阿列夫；TopLog… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
皮佩斯托 1份文件引用(2020) 软件作者： 莱昂纳德·施密斯特；丹尼尔·温德尔（Daniel Weindl）；Hasenauer，Jan哈森诺尔 相关软件： AMIGO公司；数据2Dynamics；PEtab… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）
SPLLIFT公司 3份文件引用(2016–2023) 软件作者： 博登，E。；Mezini，M。；布拉布兰德，C。；托莱多，T。；里贝罗，M。；波巴，P。 相关软件： github；FlowDroid；烟尘… 主要字段： 计算机科学（68-XX）
DLHub（DLHub） 在0个文档中引用 软件作者： Ryan Chard、Zhouzhao Li、Kyle Chard、Logan Ward、Yadu Babuji、Anna Woodard、Steve Tuecke、Ben Blaiszik、Michael J.Franklin、Ian Foster 相关软件： 蟒蛇；帕塞尔；零MQ… 主要字段： ——
FluidDyn公司 1份文件引用(2019) 软件作者： Pierre Augier、Ashwin Vishnu Mohanan、Cyrille Bonamy 相关软件： FluidSim；流体FFT；蟒蛇 主要字段： 流体力学（76-XX）
超流（HyperFlow） 2份文件引用(2018–2020) 软件作者： A.Tootoonchian、Y.Ganjali 相关软件： github；NetKAT；SGS… 主要字段： 计算机科学（68-XX）
ImJoy公司 在0个文档中引用 软件作者： 魏欧阳（Wei Ouyang）、弗洛里安·米勒（Florian Mueller）、马丁·赫杰马尔（Martin Hjelmare）、艾玛·伦德伯格（Emma Lundberg）、克里斯托夫·齐默（Christophe Zimmer） 相关软件： ShuffleNet；皮肤损伤分析仪；CDeep3M… 主要字段： ——
电梯 1份文件引用(2010) 软件作者： Dos Santos Brito，K。；加西亚，V.C。；De Almeida，E.S。；德莱莫斯·梅拉（De Lemos Meira），S.R。 相关软件： 里吉；SkuAVisit；再见… 主要字段： 计算机科学（68-XX）
ModEM公司 1份文件引用(2018) 软件作者： A.Kelbert、N.Meqbel、G.D.Egbert、K.Tandon 相关软件： MT2DInvMatlab；蟒蛇；MTpy（百万吨/年） 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）
vec分解 2份文件引用(2017–2023) 软件作者： Vincenti，H。；Lobet，M。；Lehe，R。；萨桑卡，R。；维伊，J.-L。 相关软件： MUMPS；斯迈雷；PETSc公司 主要字段： 数值分析（65-XX）
蝙蝠工具 1份文件引用(2018) 软件作者： 理查德，A；Erickson，RA；瑟格马丁，WE；司法部长Szymanski 相关软件： —— 主要字段： 生物学和其他自然科学（92-XX）；数学教育（97-XX）
布伦 在0个文档中引用 软件作者： 乔纳森·阿尔瓦尔森（Jonathan Alvarsson）；安德森，克莱斯；斯普尤斯，奥拉；罗尔夫·拉尔森；贾尔·威伯格（Jarl E.S.Wikberg）。 相关软件： 出生；屏幕保护程序；春天… 主要字段： ——
C4ISR系统 1份文件引用(2010) 软件作者： Karaca，Hüseyin N.作者简介；Yüksel，H.Mehmet；杜志恩，埃雷；基林索，Ị斯梅尔；拜厄尔曼·贝加尔 相关软件： —— 主要字段： 计算机科学（68-XX）
排烟窗 在0个文档中引用 软件作者： Maddox，M.M.，Berrios，D.H.，Rastaetter，L.，彭布罗克，A 相关软件： PYSAT；等离子体；Pysat Kamodo… 主要字段： ——
位置缩放.js 在0个文档中引用 软件作者： Boughton A.P.、Welch R.P.、Flickinger M.、VandeHaar P.、Taliun D.、Abecasis G.R.等人。 相关软件： UCSC基因组浏览器；基因编码；闪亮… 主要字段： ——
帕雷托 1份文件引用(2023) 软件作者： Drouven，Markus G。；卡德隆，安德烈斯·J。；Miguel A.Zamaripa。；基思·比蒂 相关软件： 皮奥莫；蟒蛇 主要字段： 运筹学、数学规划（90-XX）
PyTorrent公司 在0个文档中引用 软件作者： Mehdi Bahrami、N.C.Shrikanth、Shade Ruangwan、Lei Liu、Yuji Mizobuchi、Masahiro Fukuyori、Wei-Peng Chen、Kazuki Munakata、Tim Menzies 相关软件： CodeXGLUE；CodeBERT；CodeSearchNet… 主要字段： ——
REG2HDFE型 1份文件引用(2016) 软件作者： 保罗·吉马拉斯 相关软件： lfe；费尔斯德夫雷格；reghdfe… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SnappySonic公司 在0个文档中引用 软件作者： Thompson，S.、Dowrick，T.、Xiao，G.、Ramalhinho，J.、Robu，M.、Ahmad，M.，Taylor，D.、Clarkson，M.J。 相关软件： 毒性；OpenCV；VTK… 主要字段： ——
主轴 在0个文档中引用 软件作者： S.G.Ramasubramanian:R.Venkatesan；M.Sharad；K.Roy；A.拉古纳坦 相关软件： MNIST；咖啡馆；Rx-Caffe餐厅 主要字段： ——
地点 在0个文档中引用 软件作者： Faruk Diblen、Jisk Attema、Rena Bakhshi、Sascha Caron、Luc Hendriks、Bob Stienen 相关软件： HEPData；PostgreSQL；阴谋… 主要字段： ——
Tenscalc公司 1份文件引用(2022) 软件作者： 若昂·赫斯潘哈。 相关软件： Matlab；SDPT3；COLAMD… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
图形压缩2 在0个文档中引用 软件作者： Oleksii Kuchaiev、Aleksandar Stevanovic、Wayne Hayes、Natasa Przulj 相关软件： —— 主要字段： ——