数学软件 引用于6560份文件(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
枫树 5368份文件引用(1983–2024) 软件作者： 滑铁卢枫树公司。 相关软件： Mathematica；Matlab；岩浆… 主要字段： 数论（11-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
岩浆 4007文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
间隙 3676份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
SageMath公司 2596份文件引用(2002–2024) 软件作者： 贤明的开发商；威廉·斯坦因；大卫·乔伊纳；David Kohel；约翰·克雷莫纳；伯里钦·埃罗卡尔 相关软件： 岩浆；间隙；GitHub… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
麦考莱2 2263份文件引用(1988–2024) 软件作者： 丹尼尔·格雷森。；迈克尔·E·斯蒂尔曼。；戴维·艾森巴德（David Eisenbud）；http://www.math.uiuc.edu/Macaulay2/贡献者/ 相关软件： 单一；可可；SageMath… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
单一 1650年文献引用(1991–2024) 软件作者： Wolfram Decker公司；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍尼曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
稀疏矩阵 引用于840份文件(1997–2024) 软件作者： 蒂莫西·戴维斯（Timothy A Davis）；胡一凡 相关软件： mctoolbox；LAPACK；Matlab… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
减少 738份文件引用(1970–2023) 软件作者： 安东尼·C·赫恩；格哈德·雷纳（Gerhard Rayna）；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
伊斯兰教 718份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可可 680份文件引用(1989–2024) 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
表格 422篇文献引用(1993–2024) 软件作者： Kuipers，J。；上田，T。；Vermaseren，J.A.M。；J.沃林加。 相关软件： 粉碎机；雷杜泽；Axodraw… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；量子理论（81-XX）…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
雪佛兰 266份文件引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；Gunter Malle；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
几何画板 引用于67份文件(1997–2023) 软件作者： 2009年KCP技术。 相关软件： 灰姑娘；GeoGebra；Cabri-geometry… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
SymPy公司 188篇文献引用(2010–2024) 软件作者： SymPy开发团队；乔伊纳，大卫；乔尔蒂克，Ondřej；亚伦·梅勒；布莱恩·格兰杰（Brian E.Granger）。 相关软件： 蟒蛇；数字Py；SciPy… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马克西玛 171篇文献引用(1998–2024) 软件作者： 威廉·谢尔特 相关软件： Mathematica；SageMath；枫树… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LiE公司 180篇文献引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
AXIOM公司 173篇文献引用(1992–2022) 软件作者： Tim Daly等人。；http://wiki.axiom-developer.org/axiom-website/community.html 相关软件： 枫树；Mathematica；减少… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
红线批注 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
灰姑娘 95篇文献引用(1999–2023) 软件作者： 尤尔根·里希特·盖伯特（Jürgen Richter-Gebert）；乌尔里希·科尔滕坎普 相关软件： 几何画板；GeoGebra；GEX… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
坎特/卡什 157篇文献引用(1991–2022) 软件作者： 安妮塔·克拉曼（Anita Krahman）、卡罗琳·贾斯特（Carolin Just）、克劳斯·菲克尔（Claus Fieker）、弗洛里安·赫伊（Florian Heß）、何塞·门德斯（Jose Mendez）、吉尔根·克吕内斯（Jürgen Klüners）、马库斯·瓦格纳（Marcus Wagner）、迈克尔·波赫斯特（Michael Pohst）；前作者：Andreas Hoppe、Carsten Friedrichs、Georg Baier、Harald Bartel、Hartmut Bauer、Johannes Graf v.Schmettow、Katharina Geißler、Klaus Wildanger、Maike Henningsen、Mario Daberkow、Martin Schörnig、Max Jüntgen KANT集团、德国数学研究所、柏林理工大学 相关软件： 岩浆；枫树；PARI/GP… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
数字gps 157篇文献引用（2006年至2024年） 软件作者： 曼努埃尔·德尔加多（Manuel Delgado）、佩德罗·加西亚·桑切斯（Pedro A.Garcia-Sanchez）、何塞·莫利斯（Jose Morais） 相关软件： 间隙；带属的数字半群；nsgtree… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
工程计算 138篇文献引用(1991–2022) 软件作者： 参数技术公司 相关软件： Mathematica；枫树；Matlab… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
单兵携带防空系统 129篇文献引用(1991–2023) 软件作者： Benno Fuchssteiner；瓦尔德马尔·维温卡；克劳斯·哥特希尔；安德烈亚斯·坎佩尔；奥利弗·克鲁格（Oliver Kluge）；卡斯滕·莫里斯；Naundorf，Holger；Oevel，Gudrun；托尔斯滕·舒尔茨 相关软件： 枫树；Mathematica；MuPAD-组合… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
费曼图 133篇文献引用(2000–2024) 软件作者： 哈根·埃克；塞普·库布贝克 相关软件： FormCalc；费恩规则；FeynCalc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
克罗内克 132份文件引用(2000–2024) 软件作者： M.Giusti、G.Lecerf和B.Salvy；埃里克·肖斯特（Eric Schost）、卢兹·莱曼（Lutz Lehmann）、泽维尔·苏拉德（Xavier Suraud） 相关软件： 隔离；RAGlib；FGb… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
x行动 121篇文献引用(2008–2024) 软件作者： 何塞·马丁·加西亚 相关软件： xTras；xPerm；xPert… 主要字段： 微分几何（53-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
卡萨 122篇文献引用(1991–2024) 软件作者： Gebauer，R。；Kalkbrener，M。；墙壁，B。；F.温克勒。 相关软件： 枫树；Mathematica；岩浆… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： Noro Masayuki、Yokoyama Kazuhiro、Taku Takeshima、Takeshi Shimoyama、Hiroshi Anai、，Takayuki Kando、Tomokatsu Saito、Yuji Kondoh、Hirokazu Murao、Thomas Sturm、Katsuyoshi Ohara、Nobuki Takayama（致力于基础设计、内核源代码和核心库）。关于库的提交者和最近的贡献者，请参见http://www.math.kobe-u.ac.jp/OpenXM/people.html富士通实验室或asir.org或神户大学。 相关软件： 单一；麦考利2号；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
SYMMGRP公司 121篇文献引用(1993–2024) 软件作者： 威利·赫里曼；B.香槟；P.温特尼茨 相关软件： 枫树；SYMMGRP公司。最大值；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
Cabri-几何 16篇文献引用(2000–2019) 软件作者： 拉博德，C。 相关软件： 几何画板；灰姑娘；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-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；表格；数学… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；莫里茨·迪尔 相关软件： Ipopt公司；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
复数 99篇文献引用(2003–2024) 软件作者： 列万多夫斯基，维克多；Hans Schönemann；Motsak、Olexander；格特·马丁 相关软件： 单一；麦考利2号；OreModules… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
RATH（额定转速） 89份文件引用（2001年至2022年） 软件作者： Z.Li、Y.Liu 相关软件： 伊斯兰教；ATFM；枫树… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
PALP公司 75篇文献引用(2003–2023) 软件作者： M.Kreuzer、H.Skarke 相关软件： SageMath；TOPCOM公司；Calabi-Yau数据库… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；计算机科学（68-XX）…
得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
xTras公司 66份文件引用(2014–2023) 软件作者： 茶树坚果 相关软件： x法案；xPert；xPerm… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
消防5 61篇文献引用（2015年至2024年） 软件作者： A.V.斯米尔诺夫。 相关软件： 火灾；LiteRed；Reduze… 主要字段： 全局分析，流形分析（58-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
TI-Nspire公司 3份文件引用(2008–2012) 软件作者： 德克萨斯仪器公司 相关软件： GeoGebra；ClassPad；衍生… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；几何（51-XX）…
裂纹 57篇文献引用(1993–2021) 软件作者： 托马斯·沃尔夫 相关软件： 减少；LIEPDE公司；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
利迪亚 51篇文献引用(1995–2021) 软件作者： 英格丽德·贝尔；约翰·布赫曼（Johannes Buchmann）；托马斯·帕帕尼科劳 相关软件： NTL；PARI/GP；MAPC… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
费马牌手表 引用于47份文件(1997–2022) 软件作者： Robert H.Lewis博士网址：http://www.bway.net/~刘易斯 相关软件： 表格；雷杜泽；基拉… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；数值分析（65-XX）…
GRTensorII型 49篇文献引用(1996–2019) 软件作者： 彼得·马斯格雷夫（Peter Musgrave）；丹尼斯·波尔尼；莱克，凯尔 相关软件： 枫树；数学张量；NP… 主要字段： 微分几何（53-XX）；计算机科学（68-XX）；量子理论（81-XX）…
马塔德 49篇文献引用（2001年至2022年） 软件作者： 马蒂亚斯·斯坦豪泽 相关软件： 表格；粉碎机；Axodraw… 主要字段： 数论（11-XX）；特殊功能（33-XX）；近似和展开（41-XX）…
CARAT公司 46篇文献引用(1998–2023) 软件作者： J.Opgenorth，W.Plesken，T.Schulz；弗兰兹·盖勒 相关软件： 间隙；岩浆；HAP… 主要字段： 数论（11-XX）；代数几何（14-XX）；群论与推广（20-XX）…
FORMAC公司 43篇文献引用(1964–1996) 软件作者： Sammet，J.E。；邦德·E·R。 相关软件： 损益表；减少；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HAP公司 44篇文献引用(2008–2023) 软件作者： 格雷厄姆·埃利斯 相关软件： 间隙；Kenzo；CARAT… 主要字段： 代数几何（14-XX）；群论与推广（20-XX）；代数拓扑（55-XX）…
斯特林格瓦卡 44篇文献引用(2008–2023) 软件作者： James Gray、Yang Hui He、Anton Ilderton、AndréLukas 相关软件： 单一；麦考利2号；SageMath… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；计算机科学（68-XX）…
x珀特 43篇文献引用(2009–2023) 软件作者： David Brizuela；何塞·M·马丁·加西亚。；Mena Marugán，Guillermo A。 相关软件： x法案；xTras；xTensor… 主要字段： 算子理论（47-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
C-CoRN公司 41篇文献引用(2004–2023) 软件作者： 亨克·巴伦德雷格特、文斯·巴兰尼、路易斯·克鲁兹·菲利佩、赫尔曼·基弗斯、马吕斯·吉埃罗、里克·范·吉尼肯、迪米特里·亨德里克斯、塞巴斯蒂安·欣德勒、塞萨里·卡利西克、B.W.M.柯克尔斯、皮埃尔·勒图泽伊、艾里斯·勒布、莱昂内尔·马马内姆·米拉德·尼基、罗素·奥康纳、兰迪·波拉克、尼克莱·施梅里夫、巴斯佩特斯、丹·辛克、弗里克·威迪杰克、扬·茨瓦恩堡 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；数值分析（65-XX）…
因瓦 39篇文献引用(1996–2023) 软件作者： J.M.Martin-Garcia，R.葡萄牙，L.R.U.Manssur 相关软件： x张量；xPert；xPerm… 主要字段： 交换代数（13-XX）；微分几何（53-XX）；量子理论（81-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
xPerm（xPerm） 37篇文献引用(2008–2023) 软件作者： 何塞·马丁·加西亚 相关软件： x法案；xTras；因瓦… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
x张量 37篇文献引用(2007–2023) 软件作者： 何塞·马丁·加西亚 相关软件： 因瓦；xPert；xPerm… 主要字段： 交换代数（13-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
ε 35篇文献引用(2017–2024) 软件作者： 马里奥·普拉萨 相关软件： 品红；LiteRed；加拿大… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
完成流量 38篇文献引用(2020–2024) 软件作者： 蒂齐亚诺·佩拉罗 相关软件： LiteRed；雷杜泽；火灾… 主要字段： 几个复变量与解析空间（32-XX）；功能分析（46-XX）；数值分析（65-XX）…
绵羊 37篇文献引用(1977–2020) 软件作者： 弗里克，我 相关软件： 枫树；减少；MapleTensor… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
尼莫 33篇文献引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 赫克；朱莉娅；间隙… 主要字段： 数论（11-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
伯格曼 34份文件引用(1994–2020) 软件作者： 豪尔赫·巴克林；科约卡鲁，斯维特拉纳；亚历山大·科尔斯尼科夫（Alexander Colesnicov）；马拉霍瓦、卢德米拉；维克托·乌夫纳罗夫斯基 相关软件： 麦考利2号；单一；复数… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环和代数（16-XX）…
IBM草稿行 34份文件引用(1974–2021) 软件作者： 理查德·詹克斯（Richard Jenks）；国际商用机器公司 相关软件： 枫树；伊斯兰教；AXIOM… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
PNM公司 35篇文献引用(1992–2021) 软件作者： 奥利弗·阿伯思 相关软件： 进入PT_90；C-XSC 2.0；C-XSC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
兰德NLA 35篇文献引用(2017–2024) 软件作者： 德里尼亚斯，P。；马奥尼，M.W。 相关软件： 张量工具箱；rsvd；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
X夏季 34份文件引用(2006–2023) 软件作者： 莫赫，S。；尤尔，P。 相关软件： 嵌套总和；Hypexp；形式… 主要字段： 数论（11-XX）；特殊功能（33-XX）；数值分析（65-XX）…
霍马格 32篇文献引用(2007–2023) 软件作者： 穆罕默德·巴拉卡特；丹尼尔·罗伯茨 相关软件： 单一；间隙；复数… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
同源性 34份文件引用(2001–2024) 软件作者： Jean-Guillaume杜马；弗兰克·赫肯巴赫（Frank Heckenbach）；大卫·桑德斯；沃尔克马尔·韦尔克 相关软件： 间隙；CHomP；大写… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；代数拓扑（55-XX）…
离散 33篇文献引用(1997–2021) 软件作者： 安东·贝滕（Anton Betten）、埃维·哈贝伯格（Evi Haberberger）、莱因哈德·劳厄（Reinhard Laue）、阿尔弗雷德·瓦瑟曼（Alfred Wassermann） 相关软件： 间隙；葡萄；nauty… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；计算机科学（68-XX）…
见鬼去吧 在30份文件中引用(2017–2024) 软件作者： 克劳斯·菲克、威廉·哈特、汤米·霍夫曼、弗雷德里克·约翰逊 相关软件： 尼莫；朱莉娅；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
嵌套金额 31份文件引用(2002–2023) 软件作者： 斯特凡·温泽尔 相关软件： X夏季；Hypexp；HYPERDIRE… 主要字段： 数论（11-XX）；复变量函数（30-XX）；特殊功能（33-XX）…
ApCoCoA公司 29篇文献引用(2009–2024) 软件作者： 马丁·克鲁泽（Martin Kreuzer）；亨克·普利斯 相关软件： 可可；SageMath；间隙… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；群论与推广（20-XX）…
GRIN公司 31份文件引用(1995–2023) 软件作者： Serkan Hosten，Bernd Sturmfels公司 相关软件： 麦考利2号；可可；单数… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
SIMATH公司 31份文件引用（1988年-2010年） 软件作者： 霍斯特·G·齐默。；松井，T。；小林，D。；阿贝，M。；Nakamula，K。 相关软件： KANT/KASH；PARI/GP；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
蓝铜矿 29篇文献引用(2017–2024) 软件作者： 亚历山德罗·乔治迪斯、卡斯珀·拉森、杨张 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
GEMM公司 28篇文献引用(1995–2012) 软件作者： 每令 相关软件： BLAS；LAPACK；ATLAS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
阿尔多 26篇文献引用(1997–2014) 软件作者： aldor.org；曼纽尔·布朗斯坦 相关软件： AXIOM；枫树；SageMath… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；范畴理论；同调代数（18-XX）…
量子力学 26篇文献引用(2009–2023) 软件作者： 亚历克斯·基辛格 相关软件： 球状；PyZX；凹槽… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
摩尔生成物 26篇文献引用(1992–2019) 软件作者： 格兰德，R。；Kerber，A。；劳厄，R。 相关软件： 鹦鹉螺；间隙；龙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
SYMMETRICA公司 26篇文献引用(1992–2017) 软件作者： Bayreuth大学Lehrstuhl Mathematik II的SYMMETRICA团队 相关软件： 枫树；许可证；利玛窦… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；群论与推广（20-XX）…
切尼-金凯 23篇文献引用(1985–2012) 软件作者： 沃德·切尼（Ward Cheney）；大卫·金凯 相关软件： Matlab；伊斯兰教；数学… 主要字段： 近似和扩展（41-XX）；统计学（62-XX）；数值分析（65-XX）…
无限群松弛 25篇文献引用(2015–2022) 软件作者： 阿弥陀佛巴苏；罗伯特·希尔德布兰德（Robert Hildebrand）；马蒂亚斯·科普 相关软件： 切割生成功能学；github；SageMath… 主要字段： 近似和扩展（41-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
复合式MuPAD 24篇文献引用(2004–2019) 软件作者： 弗朗索瓦·德斯库恩斯 相关软件： MuPAD；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
SACLIB公司 23篇文献引用(1993–2009) 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
索纳塔 25篇文献引用(2001–2023) 软件作者： 埃哈德·艾辛格（Erhard Aichinger）；尤尔根·埃克；克里斯托夫·诺鲍尔 相关软件： 间隙；SmallGroups库；转到BLAS… 主要字段： 组合数学（05-XX）；一般代数系统（08-XX）；结合环和代数（16-XX）…
加拿大 24篇文献引用(1987–2018) 软件作者： D.W.兰德。 相关软件： 分裂；SYMMGRP公司。最大值；diffgrob2… 主要字段： 非结合环与代数（17-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
德索尔VII 24篇文献引用(2012–2021) 软件作者： Vu，K.T。；杰斐逊，G.F。；J.卡米蒂娜。 相关软件： ASP；宝石；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
危地马拉 23篇文献引用(2004–2023) 软件作者： Reinald Baart、Tom Boothby、Jasper Cramwinckel、Joe Fields、David Joyner、Robert Miller、Eric Minkes、Erik Roijackers、Lea Ruscio、Cen Tjhai 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
ROPTLIB公司 20篇文献引用(2017–2024) 软件作者： 黄文；Absil，P.-A.公司。；凯尔·A·加里凡。；保罗·汉德 相关软件： 马诺普特；皮曼诺普；歧管Optim… 主要字段： 变分法与最优控制；优化（49-XX）；微分几何（53-XX）；统计学（62-XX）…
比盖布拉 22篇文献引用(1994–2023) 软件作者： 阿布·阿莫维奇，拉法；贝特弗里德·福泽 相关软件： 克利福德；枫树；客户… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环和代数（16-XX）…
汞R 21篇文献引用(2011–2022) 软件作者： 中山弘；肯塔州西山；马赛尤基·诺罗；Katsuyoshi Ohara；Sei，Tomonari；高山、Nobuki；赤池竹村 相关软件： Risa/Asir；DLMF；R、 … 主要字段： 结合环与代数（16-XX）；几个复变量与解析空间（32-XX）；特殊功能（33-XX）…
叶片 21篇文献引用(2007–2023) 软件作者： 弗朗索瓦·布利埃 相关软件： 枫树；雏菊；Epsilon… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
卢加雷斯 18篇文献引用(2002–2023) 软件作者： 博塔纳，F。；瓦尔卡奇，J.L。 相关软件： 可可；灰姑娘；几何画板… 主要字段： 交换代数（13-XX）；几何（51-XX）；微分几何（53-XX）…