数学软件 6560份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ELLPACK公司 128篇文献引用(1982–2015) 软件作者： 韦恩·戴克森（Wayne R.Dyksen）。；卡尔文·里本斯。 相关软件： ITPACK；NSPCG；EISPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SIGMA公司 123篇文献引用(2004–2024) 软件作者： 卡斯滕·施耐德 相关软件： qZeil；EvaluateMultiSums；谐波和… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
Potassco公司 82份文件引用(2008–2023) 软件作者： 马丁·格布瑟（Martin Gebser）；本杰明·考夫曼；罗兰·卡明斯基；奥斯特罗夫斯基，马克斯；托尔斯滕·绍布（Torsten Schaub）；马吕斯·施奈德 相关软件： 克林戈；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
通用KADS 26篇文献引用(1994–2014) 软件作者： 范德维尔德·布鲁克 相关软件： NeuroGaz；github；投票Sim… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PYTHIA公司 28篇文献引用(1996–2018) 软件作者： 埃利亚斯·霍斯蒂斯。；Catlin，Ann C.（安·C·卡特林）。；约翰·赖斯。；瓦西里奥斯·维里基奥斯（Vassilios S.Verykios）。；纳伦罗摩克里希南；霍斯蒂斯（Houstis）、凯瑟琳（Catherine E.）、维拉瓦拉纳（Weerawarana）、桑吉瓦（Sanjiva）；埃利亚斯·霍斯蒂斯。；约翰·赖斯。；Joshi，Anupam；凯瑟琳·霍斯蒂斯。 相关软件： 珍珠包；高斯；PYTHIA8… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DLV2型 26篇文献引用(2017–2022) 软件作者： 阿尔维亚诺，马里奥；弗朗西斯科·卡利默里；多达罗、卡明；福斯科，戴维德；尼古拉·利昂内（Nicola Leone）；西蒙娜·佩里（Simona Perri）；弗朗西斯科·里卡；皮尔弗朗西斯科·维尔特里；Jessica Zangari 相关软件： 克林戈；WASP；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCIRun公司 17篇文献引用(1997–2012) 软件作者： 史蒂文·帕克。；David M.Weinstein。；克里斯托弗·约翰逊。 相关软件： 扩散器；LAPACK；数学… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际博协 16篇文献引用(2005–2021) 软件作者： Y.利巴。 相关软件： BARON公司；数字；COCONUT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
modpn（修改） 14篇文献引用（2009年至2022年） 软件作者： 李欣；莫雷诺·马扎（Marc Moreno Maza）；拉希德（Raqeeb Rasheed）；埃里克·斯科特 相关软件： 岩浆；枫树；隔离… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
阿司匹林 12份文件引用(2012–2022) 软件作者： 胡斯，霍尔格；罗兰·卡明斯基；马吕斯·林道尔；托尔斯滕·绍布 相关软件： 萨齐拉；阳光；SMAC… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
更窄的 11份文件引用(1985–1995) 软件作者： 皮埃尔·雷蒂（Pierre Rety）；克洛德·基什内尔；赫莱内·基什内尔；皮埃尔·莱斯坎 相关软件： PARLOG；版次：；内核-叶… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；一般代数系统（08-XX）…
SciNapse公司 10篇文献引用(1998–2006) 软件作者： 罗伯特·L·阿克斯。；伊莱恩·康德（Elaine Kant）；柯蒂斯·兰德尔（Curtis J.Randall）。；斯坦利·斯坦伯格；罗伯特·L·杨。 相关软件： Mathematica；CTADEL公司；珍珠包… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
战略武器限制公约 6篇文献引用(1989–2010) 软件作者： 马库斯，桑德拉；约翰·麦克德莫特 相关软件： 鼹鼠；蛋白质；WordNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
gpremeencemm公司 引用于7份文件(2016–2022) 软件作者： 亚历山大·施内尔（Alexander Schnell）；理查德·哈特尔（Richard F.Hartl）。 相关软件： 累积mm；PSPLIB；npuScheduler… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
燃气轮机实验室 引用于3份文件(2002–2009) 软件作者： 霍斯蒂斯，E.N。；Catlin，A.C.公司。；Tsompanopoulou，P。；戈特弗里德，D。；Balakrishnan，G。；苏凯。；赖斯，J.R。 相关软件： 威卡；ELLPACK；TrueGrid… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
女神 4份文件引用(1997–2015) 软件作者： 汉斯·奥尔森 相关软件： PETSc；扩散器；Matlab… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
幸运 4份文件引用(2017–2021) 软件作者： 莱昂尼达斯·兰普罗普洛斯；戴安·加洛瓦·旺；Hriţcu，科特林；约翰·休斯；本杰明·C·皮尔斯。；夏、李耀 相关软件： 快速检查；PVS；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
高等教育发展计划 引用于3份文件(2008–2017) 软件作者： 谢丽君；郑、姚；陈建军；邹建峰 相关软件： TetGen；洞穴；CMPGRD… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
菜单-PGG 引用于3份文件(1994–2003) 软件作者： 尼科斯（Nikos），基里绍伊德斯（Chrisochoides）；杰弗里·福克斯；乔·汤普森 相关软件： pARMS；凯利；PETSc… 主要字段： 数值分析（65-XX）
生动 引用于3份文件(2009–2017) 软件作者： 阿库达斯，康斯坦丁；塞尔默布林斯乔尔 相关软件： SNARK；米扎尔；数学… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
WBCSIM公司 2份文件引用(2000–2002) 软件作者： 阿米特·戈尔（Amit Goel）；法努里奥（Phanouriou），君士坦丁堡（Constantinos）；弗雷德里克·坎克（Frederick A.Kamke）。；卡尔文·里本斯（Calvin J.Ribbens）。；克利福德·A·沙弗。；Layne T.沃森。 相关软件： 点；SCIRun；ELLPACK… 主要字段： 计算机科学（68-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
日期 1份文件引用(2021) 软件作者： 艾哈迈德·阿蒂亚、阿德里安·桑杜 相关软件： EnKF；脂肪酸；F2PY… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
联邦铁路管理委员会 2份文件引用(1994–1997) 软件作者： 阿隆索、塞萨尔；詹姆·古铁雷斯（Jaime Gutierrez）；托马斯·雷西奥 相关软件： 枫树 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；实函数（26-XX）…
LS迭代方法 2份文件引用(2012–2018) 软件作者： 戈列夫（Angel Golev）；安娜·马利诺娃（Anna Malinova）；德西斯拉瓦·扎哈里耶娃 相关软件： symrcm；filib++；数学软件 主要字段： 数值分析（65-XX）
米皮提亚 2份文件引用(2002–2014) 软件作者： 霍斯蒂斯，E.N。；Catlin，A.C.公司。；Dhanjani，N。；赖斯，J.R。；北卡罗来纳州罗摩克里希南。；维里基奥斯，V。 相关软件： PYTHIA公司；萨齐拉；GraPHedron… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
STEWord公司 2份文件引用(2017–2020) 软件作者： 查克拉波蒂，苏普拉蒂克；苏拉布哈西达什维利；卡尔·约翰·H·西格。；拉杰库马尔·加贾维利；坦马·霍尔丹卡尔（Tanmay Haldankar）；恰塔尼（Chhatani）、迪内什（Dinesh）；拉凯什·米斯特里 相关软件： MiniSat；ABC；数学SAT5… 主要字段： 计算机科学（68-XX）
扎利格文德 2份文件引用(2022–2023) 软件作者： Kulczynski，M。；Manea，F。；诺沃特卡，D。；鲍尔森，D.B。 相关软件： 诺恩；StringFuzz；CVC4… 主要字段： 计算机科学（68-XX）
Absynth.jl公司 1份文件引用(2022) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；Amrolahi，丹麦人；尼古拉·比约纳；劳拉·科瓦奇 相关软件： z3型 主要字段： 计算机科学（68-XX）
多重再生 1份文件引用(2020) 软件作者： 科林·克劳利（Colin Crowley）；Jose Israel罗德里格斯；雅各布·威克（Jacob Weiker）；雅各布·佐罗姆斯基 相关软件： 麦考利2 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）
PRINSYS公司 1份文件引用(2019) 软件作者： Gretz，F.、Katoen，J.-P、McIver，A。 相关软件： 香醋；Aligator.jl；风暴… 主要字段： 计算机科学（68-XX）
SPEX左LU 1份文件引用(2022) 软件作者： 克里斯托弗·劳伦科（Christopher Lourenco）；陈金浩；埃里克·莫雷诺-康蒂诺（Erick Moreno-Centeno）；蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： github；NTL；LinBox… 主要字段： 数值分析（65-XX）