班德拉 105份文献中引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿巴克斯 117篇文献引用(1996–2022) 软件作者： 小精灵，马蒂亚斯；卡斯滕·古特温格；迈克尔·Jünger；乔瓦尼·里纳尔迪 相关软件： CPLEX；MINTO公司；SYMPHONY… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
法国DUNE-FEM 41篇文献引用（2010年-2023年） 软件作者： 安德烈亚斯·德纳；罗伯特·科伦（Robert Klöfkorn）；马丁·诺尔特；马里奥·奥伯格 相关软件： DUNE；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
福克斯 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
JCLEC公司 2份文件引用(2009–2015) 软件作者： 塞巴斯蒂安·文图拉、克里斯托巴尔·罗梅罗、阿米莉亚·扎夫拉、何塞·A·德尔加多、塞萨尔·埃尔瓦斯 相关软件： KEEL；UCI-ml；欧洲法院… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SCALEA公司 12份文件引用(2002–2019) 软件作者： Truong、Hong-Linh；托马斯·法林格 相关软件： 阿斯卡龙；桑托里奥；PostgreSQL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
聚乙烯/ML 在11份文件中引用(2011–2020) 软件作者： 大卫马修斯 相关软件： 伊莎贝尔；Isabelle/HOL；HOL… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
图形Grep 7份文件引用(2008–2020) 软件作者： R.Giugno、D.Shasha 相关软件： TALE公司；新加坡；G字符串… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
PZ公司 10篇文献引用(1997–2021) 软件作者： 菲利普·雷米·伯纳德·德夫卢 相关软件： 尼珀；PolyMesher公司；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CVPP公司 7份文件引用(2004–2015) 软件作者： 赫斯曼（Marieke Huisman）；古罗夫，帝力 相关软件： 马文；班德拉；Uppaal… 主要字段： 数论（11-XX）；统计学（62-XX）；计算机科学（68-XX）…
GLoBES公司 5份文件引用(2014–2023) 软件作者： Patrick Huber、Joachim Kopp、Manfred Lindner、Walter Winter 相关软件： SNOwGLoBES；SciPy；数字标识… 主要字段： 几个复变量与解析空间（32-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）…
NURBS-Python公司 引用于3份文件(2022–2023) 软件作者： O.R.Bingol、A.Krishnamurthy 相关软件： 蟒蛇；PyTorch；Matplotlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
漫画 4份文件引用(2014–2021) 软件作者： Jansen，Nils；”埃里卡·亚伯拉罕；沃尔克，马提亚斯；拉尔夫·威默（Ralf Wimmer）；Joost-Pieter Katoen；贝恩德·贝克尔 相关软件： 棱镜；DiPro；z3… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RT-ASLAN公司 引用于3份文件(1994–2002) 软件作者： 奥尔海默B，凯默R A。 相关软件： 酯类；Ada95；ASTRAL公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
VMCrypt公司 5份文件引用(2012–2023) 软件作者： L.Malka和J.Katz 相关软件： 美味的；FairplayMP；VIFF… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
成本核算表 5份文件引用(2012–2017) 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 相关软件： 防抱死制动系统；速度；中美合作所… 主要字段： 计算机科学（68-XX）
rSQP公司++ 5份文件引用(2003–2010) 软件作者： Roscoe A.Barlett。；洛伦茨·T·比格勒。 相关软件： UFL；道芬；CUBIT… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
收藏 4份文件引用(2012–2019) 软件作者： Peter Lammich、Andreas Lochbihler、Thomas Tuerk 相关软件： 存档正式证据；Isabelle/HOL；Gabow SCC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
打开SeesPy 2份文件引用(2022) 软件作者： 朱敏杰、弗兰克·麦肯纳、迈克尔·斯科特 相关软件： VTK；Matplotlib；Python… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
LPaaS公司 2份文件引用(2018–2022) 软件作者： 罗伯塔·卡莱加里；Enrico Denti；玛丽亚尼，斯特凡诺；安德烈亚·奥米西尼 相关软件： SWI Prolog公司；TuCSoN；XSB… 主要字段： 计算机科学（68-XX）
M模式 引用于3份文件(2014–2015) 软件作者： Giero M，Wiedijk F。 相关软件： 米扎尔；Coq；Isar… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
ParJava语言 引用于3份文件(2007–2009) 软件作者： 副总裁伊万尼科夫。；阿维提斯扬，A.I。；Gaissaryan，S.S。；医学硕士Akopyan。 相关软件： 小教堂；MPJ Express；要塞… 主要字段： 计算机科学（68-XX）
MEFiSTo公司 2份文件引用(2008–2017) 软件作者： 浮士德科学公司 相关软件： Matlab；openEMS；Delta函数… 主要字段： 总体主题；藏品（00-XX）；光学、电磁理论（78-XX）
蛋白石 1份文件引用(2014) 软件作者： Alan Fischer、Andres Reinot、Tyler Streeter；奥列克桑德·洛齐茨基 相关软件： 林多；优化测试环境；近地天体… 主要字段： 运筹学，数学编程（90-XX）
Smt-Switch开关 1份文件引用(2021) 软件作者： 马凯·曼；阿玛莉·威尔逊（Amalee Wilson）；尤尼·佐哈尔；林赛·特恩茨；艾哈迈德·艾尔凡；克里斯托弗·布朗（Kristopher Brown）；卡勒布·多诺维克；Allison Guman；蒂内利、塞萨尔；克拉克·巴雷特 相关软件： 谷歌测试；z3；PySMT… 主要字段： 计算机科学（68-XX）
阿尔帕卡 1份文件引用(2021) 软件作者： 埃里克·泽克（Erik Zenker）、本杰明·沃皮茨（Benjamin Worpitz 相关软件： P旋流器；LFRic公司；COSMO… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）
biosiglive公司 在0个文档中引用 软件作者： 阿梅迪奥·塞格里亚（Amedeo Ceglia）、菲利佩·威尔杜戈（Felipe Verdugo）、米凯尔·贝根（Mickael Begon） 相关软件： 动力学工具包；生物力学工具包；脓毒症… 主要字段： ——
集群Viz 1份文件引用(2017) 软件作者： Wang，J。；钟，J。；陈，G。；李，M。；Wu，F.-X。；潘，Y。 相关软件： SIRENE公司；SDTNBI；DNRLMF-MDA… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
dynPARTIX公司 1份文件引用(2017) 软件作者： 格恩瑟·查瓦特；沃尔夫冈·德沃拉克 相关软件： NLTK；编辑；RP-DeLP… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
伽马自由基 在0个文档中引用 软件作者： J.Knödlseder、M.Mayer、C.Deil、J.-B.Cayru、E.Owen、N.Kelley-Hoskins等人 相关软件： 伽马射线；天文术；Matplotlib… 主要字段： ——
模拟方法工具包 1份文件引用(2014) 软件作者： 爱德华多·桑切斯。；克里斯托弗·P·保利尼。；Jose E.卡斯蒂略。 相关软件： LAPACK；促进；gnuplot… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
Vcsn公司 1份文件引用(2016) 软件作者： https://www.lrde.epita.fr/wiki/Vcsn/People（网址：https://www） 相关软件： 金融服务管理局；ASTL；SFST… 主要字段： 计算机科学（68-XX）
工作流FM 1份文件引用(2017) 软件作者： 帕帕帕纳吉奥图，Petros；雅克·弗莱里奥特 相关软件： JGraph；HOL灯；链接… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）