克林戈 139篇文献引用(2009–2023) 软件作者： 马丁·格布瑟；罗兰·卡明斯基；本杰明·考夫曼；托尔斯滕·绍布 相关软件： 格林戈；卡环；WASP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
彗星 75篇文献引用(2004–2023) 软件作者： 劳伦特·米歇尔（Laurent Michel）；看，安德鲁；帕斯卡·范·亨特利克 相关软件： CPLEX；本地化人员；Gecode… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CHARM（魅力）++ 引用于34份文件(1997–2024) 软件作者： Laxmikant V.Kale；桑吉夫·克里希南 相关软件： PETSc；ParaView；交易.ii… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；基马；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
ZRAM公司 41篇文献引用(1997–2020) 软件作者： 阿德里安·布伦格尔（Adrian Brüngger）；安布罗斯·马泽塔；福田、科美；Jurg Nievergelt公司 相关软件： QAPLIB；cdd；聚乙烯… 主要字段： 组合数学（05-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）…
火焰 39篇文献引用(1997–2022) 软件作者： 保罗·比伦特斯；恩里克·S·金塔纳·奥尔蒂。；范德盖恩（Robert A van de Geijn） 相关软件： LAPACK；爆破；ATLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
Multilisp公司 31份文件引用(1985–2022) 软件作者： Robert H.jun，Halstead。 相关软件： 甲酚；埃菲尔；莫德… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
净CDF 18篇文献引用(2004–2023) 软件作者： 格伦·戴维斯（Glenn Davis）、拉斯·雷夫（Russ Rew）、埃德·哈特内特（Ed Hartnett）、约翰·卡隆（John Caron）、史蒂夫·埃默森（Steve Emmerson）、哈维·戴维斯 相关软件： 蟒蛇；特里利诺斯；xarray… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
歧管 28篇文献引用(1993–2023) 软件作者： 博桑格，M.M。；Arbab，F。；de Bakker，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；Reo；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
核心ASM 13份文件引用(2007–2021) 软件作者： Farahbod，Roozbeh；文森佐·格瓦西；乌韦·格拉塞尔（Glässer，Uwe）；妈妈，乔治 相关软件： 福尔科；罗丹；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
霍姆4PS-3 16篇文献引用(2014–2024) 软件作者： 陈天然；Lee，Tsung-Lin；李天恩 相关软件： PHCpack；贝尔蒂尼；数字代数几何… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
NESL公司 14篇文献引用(1994–2022) 软件作者： 盖伊·E·布莱洛赫。 相关软件： 哈斯克尔；MapReduce；GHC… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PaInleSS公司 10篇文献引用(2018–2023) 软件作者： 勒弗里克斯，卢多维奇；苏海卜·巴里尔；朱利安·索佩纳；Fabrice Kordon公司 相关软件： ManySAT；弯曲；Treengeling… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
STAR/MPI公司 11份文件引用(1995–2007) 软件作者： 吉恩·库珀曼 相关软件： 间隙；MeatExe；ATLAS集团代表… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）
MatlabMPI软件 7份文件引用(2004–2021) 软件作者： – 相关软件： Matlab；MultiMATLAB；并行计算工具箱… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
biXid公司 7份文件引用(2006–2018) 软件作者： 川中、新亚；细野县细野 相关软件： XSugar；XDouce；岩盐… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
GPAW焊接 2份文件引用(2016–2021) 软件作者： J.Enkovaara、N.A.Romero、S.Shende、J.J.Mortensen 相关软件： 蟒蛇；ABINIT公司；ASE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
自动变电站 6篇文献引用(2015–2023) 软件作者： S.Schäfer、T.Tebbi、G.Smolka 相关软件： Coq；流行标志；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
Cetus公司 4份文件引用(2004–2023) 软件作者： Lee，Sang-Ik；特洛伊·A·约翰逊。；鲁道夫·艾根曼 相关软件： LLVM；TRACO；AspectC++… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）
PAFMPB公司 6篇文献引用(2015–2019) 软件作者： 张波；彭博；黄景芳；Nikos P.Pitsianis。；孙晓白；卢、本佐 相关软件： 塔比卜；TMSmesh；AFMPB… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
数据采集卡 5份文件引用（1997年-2002年） 软件作者： 史蒂文·哈克斯塔特（Steven T.Hackstadt）。；艾伦·D·马洛尼。 相关软件： HPFIT；WIEN97；SPiDER… 主要字段： 计算机科学（68-XX）
Quantum信息.jl 2份文件引用(2020–2021) 软件作者： 加伦，P。；Kurzyk博士。；巴韦拉。 相关软件： Yao.jl；朱莉娅；QuantumOptics.jl… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
沙波 5份文件引用(2017–2022) 软件作者： Pouderoux J.、Berndt M.、Kenamond M.、Shashkov M。 相关软件： 旗帜；r3d；GitHub… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
铜斑蛇 1份文件引用(2016) 软件作者： Catanzaro，B.，Garland，M.，Keutzer，K。 相关软件： CUDA；OpenCL；PyOpenCL… 主要字段： 计算机科学（68-XX）
GASNet公司 2份文件引用(2015–2021) 软件作者： Hargrove P、Bonachea D 相关软件： 小教堂；刻痕；超级LU… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
G空间 3份文件引用(2015–2022) 软件作者： Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal 相关软件： CUDA；GKLEE；GPU验证… 主要字段： 数理逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
GShard公司 2份文件引用(2021) 软件作者： Dmitry Lepikhin、HyoukJoong Lee、Yuanchong Xu、Dehao Chen、Orhan Firat、Yanping Huang、Maxim Krikun、Noam Shazeer、Zhifeng Chen 相关软件： 亚当；BERT；GPT-3… 主要字段： 计算机科学（68-XX）
多MATLAB 4份文件引用(2003–2021) 软件作者： A.E.Trefethen、V.S.Menon、C.C.Chang、G.J.Czajkowski、C.Myers、Trefetphen法律公告 相关软件： Matlab；MatlabMPI；并行计算工具箱… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
OpenSeesPy公司 2份文件引用(2022) 软件作者： 朱敏杰、弗兰克·麦肯纳、迈克尔·斯科特 相关软件： VTK；Matplotlib；Python… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
帕塞尔 1份文件引用(2023) 软件作者： 亚杜·巴布吉、安娜·伍德德、李卓昭、丹尼尔·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉金斯基、瑞安·查德、贾斯汀·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德 相关软件： 蟒蛇；达克；Keras… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
阿克卡普洛夫 3份文件引用(2016–2022) 软件作者： 安德烈·罗萨；Chen，Lydia Y。；沃尔特·宾德 相关软件： DiSL；JMeter；Kieker… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
伦敦银行同业拆借利率 3份文件引用(2016–2023) 软件作者： Chin、Wei-Sheng；袁伯文；杨孟元；庄勇；于钦·胡安（Yu-Chin Juan）；林志珍 相关软件： TraME；再系统；节点2vec… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
任务检查器 2份文件引用(2012–2022) 软件作者： Raghavan Raman；赵继生；维维克·萨卡尔（Vivek Sarkar）；马丁·维切夫（Martin Vechev）；埃兰·雅哈夫 相关软件： 罗斯林；RacerX；烟尘… 主要字段： 计算机科学（68-XX）
TENT公司 3份文件引用(2001–2002) 软件作者： 托马斯·福克特；汉斯·彼得·科尔斯肯（Hans-Peter Kersken）；安德烈亚斯·施赖伯（Andreas Schreiber）；斯特雷泽尔，马丁；狼，克劳斯 相关软件： omniORB；蟒蛇；阿曼达 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
通用产品代码++ 1份文件引用(2018) 软件作者： 郑毅力；阿米尔·卡米尔；迈克尔·德里斯科尔（Michael B.Driscoll）；鸿章山；凯瑟琳·耶利克 相关软件： 小教堂；军团；Kokkos… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
BESLE公司 2份文件引用(2021–2022) 软件作者： 安德烈斯·高尔维斯（Andres F.Galvis）。；丹尼尔·普拉达（Daniel M.Prada）。；卢卡斯·莫拉。；扎瓦格利亚，塞西莉亚；杰米·福斯特。；保罗·索勒罗；路易斯·罗贝尔（Luiz C.Wrobel）。 相关软件： BETL；ScaLAPACK；Voro++… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
ExaSlang（考试俚语） 2份文件引用(2020–2022) 软件作者： C.Schmitt、S.Kuckuk、F.Hannig、H.Köstler、J.Teich 相关软件： ExaStencils；FESTUNG公司；MODESTO… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
流体防火阀 2份文件引用(2020–2022) 软件作者： C.T.Jacobs，M.D.Piggott 相关软件： PETSc/TS；ADCIRC；FEniCS… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
妈妈4 2份文件引用(2020–2022) 软件作者： Marçais，G.，Delcher，A.L.等人。 相关软件： 消息消息；Edlib；正在Winnowing… 主要字段： 生物学和其他自然科学（92-XX）
ParaDRAM公司 1份文件引用(2021) 软件作者： Shahmoradi，A。；巴赫里，F。 相关软件： OpenCoarrays；奎索；MCSim… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
映射器 在0个文档中引用 软件作者： 特拉维宁，N。；霍夫曼，H。；债券，R。；Chan，H。；Kepner，J。；E.Wong。 相关软件： 算法97；pMatlab；PSBLAS公司 主要字段： –
TRAM公司 2份文件引用(1997–2014) 软件作者： 绪方，Kazuhiro；近藤，Masaru；Ioroi，Shigenori；高基町五指 相关软件： OBJ咖啡馆；莫德；CITP… 主要字段： 计算机科学（68-XX）
VLADYMIR公司 2份文件引用(2009–2021) 软件作者： Latt，J。；肖伯德，B。 相关软件： OpenLB；Spalart-Allmaras；npFEM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
Dag-calculus公司 1份文件引用(2016) 软件作者： Acar，Umut A。；亚瑟·查古埃罗；迈克·雷尼；菲利普·西奇科夫斯基 相关软件： HJlib；西尔克 主要字段： 计算机科学（68-XX）
ForeFire公司 1份文件引用(2016) 软件作者： 菲利普·J·B。；Bosseur，F。；D.格兰迪。 相关软件： WRF-SFIRE公司；IPython；Matplotlib… 主要字段： 流体力学（76-XX）；经典热力学，传热（80-XX）；地球物理学（86-XX）
HFST公司 1份文件引用(2009) 软件作者： 林登，克里斯特；Miikka Silfverberg；汤米·皮林 相关软件： OpenFst；SFST；Vaucanson… 主要字段： 计算机科学（68-XX）
M2M-100型 1份文件引用(2021) 软件作者： 范，安吉拉；布萨莱、什鲁蒂；霍尔格·施温克；马志毅；艾哈迈德·埃尔·基什基；哥亚尔，悉达思；曼迪普·贝恩斯；塞莱比，奥努尔；纪尧姆·温泽克；维什拉夫乔杜里；纳曼·戈亚尔；汤姆·伯奇；利普钦斯基，维塔利；谢尔盖·埃杜诺夫；迈克尔·奥利（Michael Auli）；阿尔芒·朱林 相关软件： ParaCrawl；GitHub；COMET… 主要字段： 计算机科学（68-XX）
百万铝 1份文件引用(2013) 软件作者： 吉大港巴拉尔；格雷戈里·盖尔丰德（Gregory Gelfond）；恩里科·蓬泰利（Enrico Pontelli）；儿子Tran Cao 相关软件： – 主要字段： 计算机科学（68-XX）
NetWorkSpace（网络空间） 1份文件引用(2009) 软件作者： 罗伯特·D·比约恩森。；卡里埃罗，尼古拉斯·J。；马丁·舒尔茨（Martin H.Schultz）。；Patrick M.Shields。；斯蒂芬·B·韦斯顿。 相关软件： ElemStatLearn公司；扭曲的；琳达… 主要字段： 计算机科学（68-XX）
ParaCrawl公司 1份文件引用(2021) 软件作者： 米克·埃斯普拉·戈米斯、米凯尔·福卡达、杰玛·拉米雷斯-桑切斯、Hieu Hoang 相关软件： GitHub；彗星；TensorFlow… 主要字段： 计算机科学（68-XX）
波里菲莫斯 1份文件引用(2008) 软件作者： V.Mallet、D.Quélo、B.Sportisse、M.Ahmed de Biasi、。Debry、I.Korsakissok、L.Wu、Y.Roustan、K.Sartelet、M.Tombette、H.Foudhil 相关软件： – 主要字段： 流体力学（76-XX）
PyNumero代码 1份文件引用(2023) 软件作者： Jose S.罗德里格斯。；罗伯特·B·帕克。；卡尔·D·莱尔德。；Nicholson，Bethany L。；约翰·D·西罗拉（John D.Siirola）。；拜纳姆（Michael L.Bynum）。 相关软件： 蟒蛇 主要字段： 运筹学、数学规划（90-XX）
兄弟竞争 1份文件引用(2019) 软件作者： J.Ansel、M.Pacula、Y.L.Wong、C.Chan、M.Olszewski、U.-M.O'Reilly、S.Amarasinghe 相关软件： 精密路径指示器；多维数据集浏览器；绿色… 主要字段： 计算机科学（68-XX）
tomoRecon公司 1份文件引用(2016) 软件作者： 里弗斯，M.L。 相关软件： SPGL1；Matlab；TVR-DART… 主要字段： 积分变换，运算微积分（44-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
UCX公司 在0个文档中引用 软件作者： P.Shamis、M.G.Venkata、M.G Lopez、M.B.Baker、O.Hernandez、Y.Itigin、M.Dubman、G.Shainer、R.L.Graham、L.Liss、Y.Shahar、S.Potluri、D.Rossetti、D.Becker、D.Poole、C.Lamb、S.Kumar、C.Stunkel、G.Bosilca、A.Bouteiller、， 相关软件： 易构建；PMIx；xCAT… 主要字段： 计算机科学（68-XX）