枫树 5368份文件引用(1983–2024) 软件作者： 滑铁卢枫叶公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
三角形 389份文件引用(1996–2023) 软件作者： 乔纳森·理查德·谢楚克 相关软件： TetGen；CGAL；Gmsh… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KEGG公司 206篇文献引用(2003–2023) 软件作者： Minoru Kanehisa；Susumu Goto公司 相关软件： 生物导体；R；UniProt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
PolyMesher公司 200篇文献中引用(2012–2024) 软件作者： Talischi，Cameron；Paulino，Glaucio H。；佩雷拉·安德森；伊凡·梅内泽斯。 相关软件： PolyTop；Matlab；三角形… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
动力学 186篇文献引用(1994–2022) 软件作者： 海伦娜·E·努斯。；詹姆斯·约克（James A.Yorke）。 相关软件： 自动；HomCont；数学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；粒子力学与系统（70-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯特姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CUDD公司 158份文件引用(1997–2023) 软件作者： 法比奥·萨蒙齐 相关软件： NuSMV；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
费曼图 133篇文献引用(2000–2024) 软件作者： 哈根·埃克；塞普·库布贝克 相关软件： FormCalc；费恩规则；FeynCalc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
阿克索德劳 120篇文献引用(1994–2024) 软件作者： 弗马塞伦，J.A.M。 相关软件： 表格；JaxoDraw；Reduze… 主要字段： 数论（11-XX）；算子理论（47-XX）；粒子力学与系统（70-XX）…
FeynCalc公司 102份文件引用(1995–2024) 软件作者： 罗尔夫·梅蒂格；弗雷德里克·奥雷拉纳（Frederik Orellana）；M.Böhm；A.丹尼 相关软件： FeynArts；表格；数学… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
JaxoDraw公司 103篇文献引用(2005–2023) 软件作者： D.Binosi、J.Collins、C.Kaufhold、L.Theussl 相关软件： 阿克索德劳；表格；LiteRed… 主要字段： 特殊功能（33-XX）；流形和细胞复合体（57-XX）；粒子力学与系统（70-XX）…
格拉夫维兹 72份文件引用(2001–2023) 软件作者： 约翰·埃尔森；埃姆登·甘斯纳；Koutsofios，Lefteris；North，Stephen C。；戈登·伍德赫尔 相关软件： 动态记录仪；R；Python… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
沃罗诺伊 81份文件引用(1995–2023) 软件作者： 史蒂文·福琼 相关软件： 三角形；Qhull；CGAL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
Hypexp公司 79份文件引用(2006–2024) 软件作者： T.Huber，D.Maêtre 相关软件： HPL；PolyLogTools；嵌套总和… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；数值分析（65-XX）…
粉碎机 77份文件引用(1991–2023) 软件作者： S.G.Gorishny；S.A.Larin公司；L.R.Surguladze；F.V.特卡乔夫 相关软件： 表格；雷杜泽；MATAD… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；计算机科学（68-XX）…
科帕西 61篇文献引用(2008–2022) 软件作者： S.Hoops、S.Sahle、R.Gauges、C.Lee、J.Pahle、N.Simus、M.Singhal、L.Xu、P.Mendes、U.Kummer 相关软件： 生物模型；R；BioNetGen… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
杰森 47篇文献引用(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： 代理峰值；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
嘉年华 60篇文献引用(2009–2023) 软件作者： 斯米尔诺夫公司。；斯米尔诺夫，V.A。；M.Tentyukov。 相关软件： 火灾；LiteRed；12月第二天… 主要字段： 代数几何（14-XX）；特殊功能（33-XX）；数值分析（65-XX）…
消防5 61篇文献引用(2015–2024) 软件作者： A.V.斯米尔诺夫。 相关软件： 火灾；LiteRed；Reduze… 主要字段： 全局分析，流形分析（58-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
循环工具 51篇文献引用(1999–2024) 软件作者： T.哈恩 相关软件： FormCalc；FeynArts；黑帽… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
心理 41篇文献引用(2009–2023) 软件作者： 威廉·雷维尔 相关软件： R；ggplot2；熔岩… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者： 亚历山大·德雷耶（Alexander Dreyer）；迈克尔·布里肯斯坦 相关软件： 单一；SageMath；岩浆… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…
马塔德 49篇文献引用(2001–2022) 软件作者： 马蒂亚斯·斯坦豪泽 相关软件： 表格；粉碎机；Axodraw… 主要字段： 数论（11-XX）；特殊功能（33-XX）；近似和展开（41-XX）…
状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CompHep公司 42篇文献引用(1997–2024) 软件作者： E.Boos、V.Bunichev、M.Dubinin、L.Dudko、V.Edneral、V.Ilyin、A.Kryukov、V.Savrin、A.Semenov、A.Sherstnev 相关软件： MadGraph；CalcHEP；SHERPA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
12月第二节 42篇文献引用(2011–2024) 软件作者： J.Carter；索菲亚·博罗卡、古德伦·海因里希、斯蒂芬·扬、史蒂芬·琼斯、马蒂亚斯·科纳、约翰内斯·施伦克、汤姆·齐克 相关软件： 雷杜泽；嘉年华；LiteRed… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
蒂克·费曼 42篇文献引用(2017–2024) 软件作者： 约书亚·P·埃利斯。 相关软件： 表格；雷杜泽；基拉… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
二维三角剖分 42篇文献引用（2002年-2023年） 软件作者： – 相关软件： CGAL；碎边机；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
橱柜 36篇文献引用（2002年-2023年） 软件作者： J.Gluza、K.Kajda、T.Riemann 相关软件： 嘉年华；MBresolve；M无症状… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
SegMatch（分段匹配） 26篇文献引用(2003–2022) 软件作者： Tamal K Dey、Samrat Goswami 相关软件： 权力外壳；CGAL；TetGen… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
任天堂（Ninteger） 33篇文献引用(2008–2024) 软件作者： D.Valerio、J.S.da Costa 相关软件： 克朗；Matlab；FOMCON… 主要字段： 实函数（26-XX）；常微分方程（34-XX）；数值分析（65-XX）…
萨内特 24篇文献引用(2008–2022) 软件作者： Okabe A、Okunuki K、Shiode S 相关软件： 施帕斯塔特；R；pyuvdata… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
戈萨姆 32篇文献引用(2012–2023) 软件作者： G Cullen；N Greiner；G Heinrich；G Luisoni；P Mastrolia；G Ossola；T Reiter；F特拉蒙塔诺 相关软件： CutTools；黑帽；HELAC-1回路… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
评估MultiSums 32篇文献引用(2013–2023) 软件作者： 卡斯滕·施耐德 相关软件： SIGMA；谐波和；表格… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
地理1.1 31份文件引用(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
正电子阵 32篇文献引用(2015–2023) 软件作者： 雅各布·L·布尔加利 相关软件： 双回路振幅；超智能；黑帽… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
SAMURAI公司 31份文件引用(2010–2022) 软件作者： Mastrolia，P。；奥索拉，G。；Reiter，T。；F.特拉蒙塔诺。 相关软件： CutTools；黑帽；HELAC-1回路… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；粒子力学与系统（70-XX）…
SCHUR公司 31份文件引用（1994年-2023年） 软件作者： 布莱恩·怀伯恩 相关软件： Mathematica；数学张量；ALPS… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蓝铜矿 29篇文献引用(2017–2024) 软件作者： 亚历山德罗·乔治迪斯、卡斯珀·拉森、杨张 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
南美林猫 23篇文献引用(2007–2022) 软件作者： 埃米娜·托拉克；丹尼尔·杰克逊 相关软件： z3；Isabelle/HOL；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔文；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
成分 25篇文献引用(2006–2024) 软件作者： Van der Boogaart，K.G。；托洛萨纳·德尔加多，R。 相关软件： R；抢劫成分；ggplot2… 主要字段： 统计学（62-XX）；地球物理学（86-XX）；运筹学，数学规划（90-XX）…
S-TaLiRo公司 26篇文献引用(2011–2023) 软件作者： 安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VRONI公司 16篇文献引用（2001年至2016年） 软件作者： 马丁·赫尔德 相关软件： CGAL；LEDA；Unity3D… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
戴安娜 23篇文献引用(2000–2022) 软件作者： Tentyukov，M。；弗莱舍，J。 相关软件： 表格；FeynArts；Mincer… 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
电子LOTOS 23篇文献引用(1998–2016) 软件作者： 罗伯特·克拉克；安娜·莫雷拉 相关软件： CADP；自旋蛋白；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
戈勒姆95 25篇文献引用(2009–2020) 软件作者： T.Binoth，J.-Guillet博士，G.Heinrich，E.Pilon，T.Reiter 相关软件： CutTools；黑帽；SAMURAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
iplots公司 12份文件引用(2007–2019) 软件作者： 托比亚斯·威奇特里·西蒙·乌尔班内克 相关软件： R；GGobi；MANET… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
节点Trix 19份文件引用(2010–2023) 软件作者： Nathalie Henry、Jean-Daniel Fekete、Michael J.McGuffin 相关软件： ChordLink；马戏团；ThemeRiver… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
轻轨系统 21篇文献引用(1998–2021) 软件作者： 大卫·阿维斯 相关软件： cdd；港口；正常（amp；N）… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
DRaFT公司 22篇文献引用(2006–2023) 软件作者： Ken Saito先生 相关软件： ViCo公司 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
HUGIN公司 14篇文献引用（2002年至2018年） 软件作者： Hugin专家A/S 相关软件： 瑞金；R；bn学习… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
VAMPIR（真空泵） 17篇文献引用(2000–2023) 软件作者： 内格尔，W。；阿诺德，A。；韦伯，M。；霍普，H。；Solchenbach，K。 相关软件： PARAVER公司；跳投；NAS并行基准… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
FIESTA第三届 18篇文献引用(2014–2023) 软件作者： A.V.斯米尔诺夫。 相关软件： 嘉年华；第12节；LiteRed… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
迪纳摩 18篇文献引用(2010–2023) 软件作者： Bill Sandholm、Emin Dokumaci、Francisco Franchetti 相关软件： 阿贝德；EvoDyn-3s；PD工具箱… 主要字段： 常微分方程（34-XX）；几何（51-XX）；概率论与随机过程（60-XX）…
脓原 4份文件引用(2017–2024) 软件作者： Ong，S.P。；理查兹，W.D。；Jain，A。；Hautier，G。；科彻，M。；霍乱，S。；Gunter，D。；Chevrier，V.L。；Persson，K.A。；塞德·G·。 相关软件： 蟒蛇；ASE；Matplotlib… 主要字段： 群论与推广（20-XX）；流形和细胞复合体（57-XX）；计算机科学（68-XX）…
科科斯 19份文件引用（2006年至2019年） 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
E&F混沌 17篇文献引用(2008–2022) 软件作者： Cees Diks、Cars Hommes、Valentyn Panchenko、Marcelo Tyszler 相关软件： DMC；NIST统计测试套件；死亡… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
阿斯卡隆 6篇文献引用(2002–2012) 软件作者： 托马斯·法林格；亚历山德鲁·朱格拉武；萨布里·普拉纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
FODD-计划 15篇文献引用(2008–2022) 软件作者： Joshi，S。；R.卡顿。 相关软件： FluCaP；图形平面图；高尔夫… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
几何学 在11份文件中引用(2008–2023) 软件作者： C.B.Barber、Kai Habel、Raoul Grasman、Robert B.Gramacy、Andreas Stahel、David C.Sterratt 相关软件： R；阿尔法赫尔；rgl… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
内蒂卡 10篇文献引用(2008–2018) 软件作者： Norsys软件公司。 相关软件： UCI-ml；WinBUGS；HUGIN… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Feyn助手 15篇文献引用(2017–2024) 软件作者： 弗拉迪斯拉夫·什塔博文科 相关软件： FeynCalc；包装-X；FeynArts… 主要字段： 代数拓扑（55-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
MMP/几何仪 15篇文献引用(2004–2023) 软件作者： 高小山；林强（Lin，Qiang） 相关软件： GEX；GCLC；GeoGebra… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
开膛器.py 13份文件引用(2019–2023) 软件作者： 克里斯托弗·特拉利（Christopher Tralie）、纳撒尼尔·索尔（Nathaniel Saul）、兰恩·巴恩（Rann Bar-On） 相关软件： Scikit；裂土器；GitHub… 主要字段： 动力系统与遍历理论（37-XX）；代数拓扑（55-XX）；统计学（62-XX）…
文祥 15篇文献引用(2013–2018) 软件作者： 郭振秋、林伟忠、肖轩 相关软件： iRSpot-PseDNC；2D-MH；iRSpot-TNCPseAAC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
氮氧化物 14篇文献引用(2007–2022) 软件作者： 马库斯·贝勒 相关软件： Matlab；Normaliz；PPL… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
表单跟踪程序 14篇文献引用(2017–2023) 软件作者： 安东·凯罗尔（Anton K.Cyrol）。；马里奥·米特；斯特罗道夫，尼尔斯 相关软件： 表格；FeynCalc；DoFun… 主要字段： 差分方程和函数方程（39-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： HOL-OCL；莫德；ATL… 主要字段： 计算机科学（68-XX）
FF公司 在11份文件中引用(1991–2021) 软件作者： G.J.范·奥尔登堡。 相关软件： OneLOop；CutTools；窗体计算… 主要字段： 几何（51-XX）；数值分析（65-XX）；量子理论（81-XX）…
压裂模拟3D 12份文件引用(2014–2023) 软件作者： C.徐；P.多德 相关软件： Gmsh；dfn工程；三角形… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
HPCTOOLKIT公司 6篇文献引用(2010–2022) 软件作者： L.Adhianto；S.Banerjee；M.Fagan；M.克伦特尔；G.马林；J.Mellor-Crummey；N.R.塔伦特 相关软件： TAU；Scalasca；PARAVER… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
LERG-I型 在11份文件中引用(1991–2012) 软件作者： 罗宾·斯图亚特。 相关软件： 减少；Mathematica；剪切工具… 主要字段： 全局分析，流形分析（58-XX）；数值分析（65-XX）；计算机科学（68-XX）…
模拟Java 8份文件引用(2001–2013) 软件作者： F.Howell和R.McNab 相关软件： 和弦；网格模拟；MicroGrid… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
西尔万 在11份文件中引用(2020–2023) 软件作者： van Dijk，T。；范德波尔，J。 相关软件： LTSmin公司；棱镜；BuDDy… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
解除束缚 12份文件引用(2011–2023) 软件作者： 吕迪格·埃勒斯 相关软件： 相思树+；条纹；BoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
兰道.jl 在11份文件中引用(2022–2023) 软件作者： 塞巴斯蒂安·米泽拉；西蒙·特伦 相关软件： 超智能；PolyLogTools；天秤座… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）
玛丽 8份文件引用(2013–2022) 软件作者： 莫妮卡·海纳；克里斯蒂安·罗尔（Christian Rohr）；马丁·施瓦里克 相关软件： 清爽；棱镜；SABRE… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
博卡逊 9份文件引用(2009–2023) 软件作者： 米歇尔·卡福（Michele Caffo）、亨利克·齐兹（Henryk Czyz）、米查尔·古尼亚（Michal Gunia）、埃托雷·雷米迪（Ettore Remiddi） 相关软件： 雷杜泽；琥珀色；火灾… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
戈勒姆95C 9份文件引用(2011–2020) 软件作者： 卡伦，G。；Guillet，J.博士。；Heinrich，G。；Kleinschmidt，T。；Pilon，E。；Reiter，T。；罗杰斯，M。 相关软件： CutTools；FormCalc；Golem95… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
ITS工具 10篇文献引用(2019–2023) 软件作者： Yann Thierry-Mieg公司 相关软件： TINA；LTSmin公司；TAPAAL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
数字Exp 9份文件引用(2013–2024) 软件作者： 黄志伟；刘菊萍 相关软件： Hypexp；HYPERDIRE公司；HPL… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；整体分析，流形分析（58-XX）…
Speedith公司 9份文件引用(2012–2019) 软件作者： Urbas，M.、Jamnik，M.，Stapleton，G.、Flower，J。 相关软件： 超防；伊莎贝尔；迪亚贝利… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；凸和离散几何（52-XX）…
STCT公司 10篇文献引用（2002年-2023年） 软件作者： 张忠华；W.M.温汉姆。 相关软件： UMDES；TCT；Supremica… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
STR公司 9份文件引用(2019–2022) 软件作者： 米开朗基罗·普雷蒂 相关软件： 无线局域网；火灾5；数学软件 主要字段： 统计学（62-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 糠；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
费恩科普 9份文件引用(2014–2023) 软件作者： 迈克尔·鲍林斯基 相关软件： 费因根；超智能；表格… 主要字段： 代数几何（14-XX）；结合环与代数（16-XX）；凸和离散几何（52-XX）…
费因根 9份文件引用(2014–2023) 软件作者： 迈克尔·鲍林斯基 相关软件： feyncop；超智能；表格… 主要字段： 代数几何（14-XX）；结合环与代数（16-XX）；凸和离散几何（52-XX）…
FLEUR公司 9份文件引用(2012–2020) 软件作者： Forschungszentrum朱利希 相关软件： WIEN2k；ScaLAPACK；LAPACK… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；量子理论（81-XX）…
GiANT公司 9份文件引用(1987–2009) 软件作者： Karve，Aneesh；塞巴斯蒂安·保利 相关软件： KANT/KASH；XGAP；数学… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…