稀疏矩阵 840篇文献引用(1997–2024) 软件作者： 蒂莫西·戴维斯（Timothy A Davis）；胡一凡 相关软件： mctoolbox；LAPACK；Matlab… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
SOCS系统 180篇文献引用(1999–2024) 软件作者： 波音公司；Betts，J.T。；W.P.哈夫曼 相关软件： Ipopt；GPOPS；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
政治公众人物协议 111篇文献引用(1995–2024) 软件作者： 简·希尔斯顿；http://www.dcs.ed.ac.uk/pepa/people网站/ 相关软件： 生物-PEPA；棱镜；生物活性炭… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
生物-PEPA 97篇文献引用(2008–2024) 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
FeynCalc公司 102篇文献引用(1995–2024) 软件作者： 罗尔夫·梅蒂格；弗雷德里克·奥雷拉纳（Frederik Orellana）；M·Böhm；A.丹尼 相关软件： FeynArts；表格；数学… 主要字段： 代数拓扑（55-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： 法默，威廉·M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
血浆 43篇文献引用(2010–2021) 软件作者： E.Agullo、J.Dongarra、B.Hadri等人。 相关软件： MAGMA；LAPACK；ScaLAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
国防科技部 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
霍马格 32篇文献引用(2007–2023) 软件作者： 穆罕默德·巴拉卡特；丹尼尔·罗伯茨 相关软件： 单一；间隙；复数… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
铲刀 30篇文献引用(2000–2023) 软件作者： 彼得·哈里森（Peter G.Harrison）。；本·斯特鲁洛 相关软件： 政治公众人物协议；考德；ipc… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
TSFC公司 23篇文献引用(2016–2022) 软件作者： 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件： Firedrake；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫（Markus Roggenbach）；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
参数 16篇文献引用(2011–2022) 软件作者： Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件： 棱镜；PROPhESY公司；风暴… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CSP防护 引用于17份文件（2005年至2022年） 软件作者： 吉野县Isobe；马库斯·罗根巴赫 相关软件： PVS；Isabelle/HOL；FDR2… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
LTSA-WS公司 12份文件引用(2006–2021) 软件作者： Magee J、Kramer J、Uchitel S等人 相关软件： WSAT；NuSMV；UFO… 主要字段： 计算机科学（68-XX）
rrgmrestbx公司 15篇文献引用(2012–2023) 软件作者： 亚瑟·诺伊曼；Lothar Reichel；哈萨内·萨多克 相关软件： 正规化工具；克雷格；ErresTools… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；数值分析（65-XX）…
加勒比 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MLD2P4型 13份文件引用(2010–2021) 软件作者： Pasqua D'Ambra；丹妮拉·迪·塞拉菲诺；Salvatore Filippone；阿尔弗雷多·布塔里 相关软件： PSBLAS；2LEV-D2P4；SParC LES… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
fc2工具 12份文件引用(1999–2022) 软件作者： Bouali，A.、Ressouche，A.、Roy，V.、de Simone，R。 相关软件： CADP；到期未结；CAESAR_SOLVE… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
M网络 11份文件引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
ML4PG系列 10篇文献引用(2013–2021) 软件作者： 乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚 相关软件： Coq；SEPIA；Flyspeck… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
msolve公司 6篇文献引用（2022年至2024年） 软件作者： Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件： 单一；岩浆；奥斯卡… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）…
随机UTV 9份文件引用(2019–2024) 软件作者： Martinsson，P.G。；金塔纳-奥尔蒂，G。；北卡罗来纳州希夫纳。 相关软件： UTV；rsvd；算法971… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
M4GB 8份文件引用(2017–2023) 软件作者： 鲁西迪·马卡里姆。；马克·史蒂文斯 相关软件： MQ挑战；GeMSS；FGb… 主要字段： 数论（11-XX）；交换代数（13-XX）；数值分析（65-XX）…
电动机 5份文件引用（2004年至2013年） 软件作者： Joost-Pieter Katoen；亨利克·博恩坎普（Henrik Bohnenkamp）；Ric Klaren；霍尔格·赫尔曼斯 相关软件： Uppaal；国防科技部；IF-2.0… 主要字段： 计算机科学（68-XX）
occam-pi型 6篇文献引用（2005年至2021年） 软件作者： 彼得·H·韦尔奇。；弗雷德里克·R·M·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GBLA公司 7份文件引用(2016–2020) 软件作者： Brice Boyer、Christian Eder、Jean-Charles Faugère、Sylvian Lachartre、Fayssal Martani 相关软件： M4RI；FGb；岩浆… 主要字段： 交换代数（13-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ATISBAT公司 5份文件引用(2017–2023) 软件作者： 加布里埃尔·阿奎列拉·维内加斯（Gabriel Aguilera-Venegas）；Galán-García，JoséL。；恩里克·梅里达·卡塞梅罗；佩德罗·罗德里格斯·西洛斯 相关软件： ATISMART公司；马克西玛；枫树… 主要字段： 复变量函数（30-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
帕洛马 4份文件引用(2016–2020) 软件作者： 程峰、简·希尔斯顿 相关软件： SCEL；CARMA公司；生物-PEPA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
生物PEPAd 4份文件引用(2012–2015) 软件作者： 朱利奥·卡拉瓦尼亚；简·希尔斯顿 相关软件： 生物-PEPA；LBS；棱镜… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CARMA公司 5份文件引用(2016–2023) 软件作者： 卢卡·博图卢西、洛科·德·尼古拉、瓦实蒂·加尔平、斯蒂芬·吉尔摩、简·希尔斯顿、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： SCEL；帕洛玛；生物-PEPA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
FIDE公司 4份文件引用(1989–2012) 软件作者： 里斯卡（R.Liska）；L.Drsda博士 相关软件： QEPCAD；减少；重新记录… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OPTMODEL（光学模型） 4份文件引用(2004–2020) 软件作者： SAS研究所。 相关软件： SAS；警察；Ipopt… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
简洁 5份文件引用(2004–2010) 软件作者： 尼尔森，弗莱明；Nielson，Hanne Riis；孙红燕；米凯尔·巴赫霍尔茨（Mikael Buchholtz）；Hansen，Rene Rydhof；亨利克·皮利加德（Henrik Pilegaard）；赫尔穆特·塞德尔 相关软件： 琳达；科莱姆；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CASPA公司 4份文件引用(2008–2015) 软件作者： 延斯·巴赫曼；马丁·里德尔（Martin Riedl）；约翰·舒斯特（Johann Schuster）；马库斯·西格尔 相关软件： 棱镜；CUDD；参数 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
CSSim公司 4份文件引用(2007–2009) 软件作者： 菲利普·布鲁克。；理查德·佩奇（Richard F.Paige）。；杰里米·雅各布。 相关软件： 埃菲尔；勺；TCOZ… 主要字段： 计算机科学（68-XX）
ExaGeoStatR公司 3份文件引用(2020–2021) 软件作者： 萨米赫·阿卜杜拉（Sameh Abdullah）、李玉晓（Yuxiao Li）、曹健（Jian Cao）、哈泰姆（Hatem Ltaief）、大卫·E·凯斯（David E.Keyes）、马克·G·根顿（Marc G.Genton）、孙 相关软件： R；ExaGeoStat；NLopt… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）
jFuzzyIBA转换器 4份文件引用(2015–2017) 软件作者： 米洛舍维奇，P。；彼得罗维奇，B。；Radojević博士。；科瓦切维奇，D。 相关软件： UCI-ml；ANFIS公司 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
A规格配对矩阵 3份文件引用(2014–2021) 软件作者： Ana C.Conceiáo，JoséC.Pereira 相关软件： A规格成对标尺；Mathematica；SInt公司 主要字段： 欧氏空间（42-XX）的调和分析；积分方程（45-XX）；算子理论（47-XX）…
A规格成对标尺 3份文件引用(2014–2021) 软件作者： Ana C.Conceiáo，JoséC.Pereira 相关软件： A规格配对矩阵；Mathematica；SInt公司 主要字段： 欧氏空间（42-XX）的调和分析；积分方程（45-XX）；算子理论（47-XX）…
版次TPL 3份文件引用(2022–2023) 软件作者： 劳拉·博奇（Laura Bocchi）；伊凡·拉内斯；梅齐纳、克劳迪奥·安塔雷斯；袁，Shoji 相关软件： ProVerify公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
CombBLAS公司 2份文件引用(2018–2021) 软件作者： 阿利富尔·阿扎德（Ariful Azad）、艾德·恩·布鲁索（Aydán Buluç）、约翰·吉尔伯特（John R.Gilbert） 相关软件： 促进；导线；Apache Flink… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；霍贾特，侯赛因；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；Python；莫德… 主要字段： 计算机科学（68-XX）
FeynMG公司 2份文件引用(2023–2024) 软件作者： 穆尼奥斯，塞尔吉奥·塞维拉诺；Edmund J.科普兰。；彼得·米林顿；迈克尔·斯潘诺夫斯基 相关软件： x法案；FeynCalc；MadGraph… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
新加坡金融管理局 2份文件引用(2014–2015) 软件作者： 马来亚，N.，Estacio-Hiroms，K.C.，Stogner，R.H.，Schulz，K.W.，Bauman，P.T.，Carey，G.F。 相关软件： Spalart-Allmaras；libMesh；PETSc… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
PHIST公司 2份文件引用(2020–2023) 软件作者： 乔纳斯·提斯；梅尔文·Röhrig-Zöllner；奈杰尔·奥弗马斯（Nigel Overmars）；巴瑟曼，阿希姆；多米尼克·恩斯特；乔治·海格（Georg Hager）；格哈德·韦莱因 相关软件： CARP-CG；阿巴夸斯；ARPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
BAL公司 引用于1份文件(2011) 软件作者： 迭戈·佩雷斯·莱昂德雷斯（Pérez Leándrez）；鲁伊斯，M.卡门；J.Jose，Pardo；迭戈·卡佐拉 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
包壳，包壳 引用于1份文件(2018) 软件作者： V.Vassilev、V.Ilieva、L.Moneta、A.Penev、M.Vassiliev 相关软件： MuPAD；Matlab；特征… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
立方体.lib 引用于1份文件(2016) 软件作者： 杨科·伯姆；Magdalen S.Marais。；范德梅鲁，安德烈·F·。 相关软件： 冲浪；单一 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）
矩阵Exp 引用于1份文件(2005) 软件作者： 波哥珊，V.A。 相关软件： 跟踪器；Mathematica；枫树 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；量子理论（81-XX）
PathAVI公司 引用于1份文件(2018) 软件作者： Kim，Youngdae；胡贝尔，奥利维尔；迈克尔·C·费里斯。 相关软件： LMGC90；Siconos；FCLIB… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
PLSS公司 引用于1份文件(2023) 软件作者： 约翰·布鲁斯特（Johannes J.Brust）。；迈克尔·桑德斯。 相关软件： LSQR；稀疏矩阵；CRAIG… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
项目管理咨询公司 引用于1份文件(2001) 软件作者： 西蒙·默克、肯·拉森、亨利克·赖夫·安徒生、林格比·丹马克、彼得·塞斯托夫特 相关软件： LOTOS；酯类 主要字段： 计算机科学（68-XX）
SMIS公司 引用于1份文件(2023) 软件作者： Galán-García J.L.、Rodríguez-Cielos P.、Padilla-Domínguez Y.、Gaán-García M.á、。，Atencia I.、Rodríguez-Padilla P.、Aguilera-Venegas G。 相关软件： ATISBAT；马克西玛；枫树… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
SODES公司 引用于1份文件(2023) 软件作者： 加兰·加西亚（Galán-García），何塞·路易斯（JoséLuis）；罗德里格斯·西洛斯（Rodríguez-Cielos），佩德罗（Pedro）；加兰·加西亚，玛丽亚·安格尔；摩根·勒戈夫；尤兰达帕迪拉·多明格斯；巴勃罗罗德里格斯-帕迪利亚；伊凡·阿滕西亚；加布里埃尔·阿奎列拉·维内加斯 相关软件： ATISBAT；马克西玛；枫树… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
Tenscalc公司 引用于1份文件(2022) 软件作者： Joáo P.赫斯帕尼亚。 相关软件： Matlab；SDPT3；COLAMD… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）