枫树 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）…
伊斯兰教 718份文件引用(1971–2023) 软件作者： 符号学 相关软件： 枫树；Mathematica；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeoGebra公司 203篇文献引用（2007年至2024年） 软件作者： —— 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
几何画板 67篇文献引用(1997–2023) 软件作者： 2009年KCP技术。 相关软件： 灰姑娘；GeoGebra；Cabri-geometry… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
SymPy公司 188篇文献引用(2010–2024) 软件作者： SymPy开发团队；戴维·乔伊纳（David Joyner）；乔尔蒂克，Ondřej；亚伦·梅勒；布莱恩·格兰杰（Brian E.Granger）。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
弦伐 44篇文献引用(2008–2023) 软件作者： 詹姆斯·格雷、杨慧荷、安东·伊尔德顿、安德烈·卢卡斯 相关软件： 单一；麦考利2号；SageMath… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；计算机科学（68-XX）…
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；吸血鬼；E定理证明… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
比盖布拉 22篇文献引用（1994年-2023年） 软件作者： 阿布·阿莫维奇，拉法；贝特弗里德·福泽 相关软件： 克利福德；枫树；客户… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
叶片 21篇文献引用(2007–2023) 软件作者： 弗朗索瓦·布利埃 相关软件： 枫树；雏菊；Epsilon… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
行程 19份文件引用(2002–2022) 软件作者： J.Laskar、M.Gastineau 相关软件： 岩浆；单一；gmp… 主要字段： 场论与多项式（12-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
JAS公司 15篇文献引用(2008–2023) 软件作者： 海因茨·克雷德尔 相关软件： 单一；AXIOM；复数… 主要字段： 数论（11-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
CTADEL公司 12份文件引用(1998–2020) 软件作者： 范恩格伦，罗伯特·亚历山大 相关软件： Mathematica；手指；SciNapse… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
混合系统实验室 在11份文件中引用(2021–2024) 软件作者： 里卡多·桑费利斯（Ricardo G.Sanfelice）。 相关软件： github；HyEQ；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
亚当 10篇文献引用(2011–2023) 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
数学方案 9份文件引用(2011–2021) 软件作者： 雅克·卡雷特；Farmer，William M。；罗素·奥康纳 相关软件： Coq；阿格达；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
机构动态仿真模块组 9份文件引用(2005–2023) 软件作者： 格兰·理查德·J。 相关软件： Matlab；Visual Basic；VBA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
埃利米诺 6篇文献引用（1999-2005年） 软件作者： 吴永伟；廖伟东；林，东岱；Wang，Paul S。 相关软件： SACLIB；OMEI；DisCAS… 主要字段： 场论与多项式（12-XX）；实函数（26-XX）；复变量函数（30-XX）…
Mgfun公司 8份文件引用(1998–2018) 软件作者： Frédéric Chyzak奶酪 相关软件： 麦考利2号；单一；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
亚卡斯 引用于3份文件(2002–2023) 软件作者： 阿亚尔·平库斯（Ayal Z.Pinkus）。；谢尔盖·威尼茨基 相关软件： Ryacas；R；SymPy… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
EPGY公司 引用于3份文件(2001–2020) 软件作者： 理查德·索默；格雷戈里·努科尔斯 相关软件： LPL软件；减少；OTTER… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
深入学习（_L） 4份文件引用(2017–2023) 软件作者： 亚历山大·本特坎普 相关软件： Isabelle/HOL；多项式；Groebner_Bases… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
BALSA公司 2份文件引用(1986–2015) 软件作者： 马克·布朗（Marc H.Brown）、罗伯特·塞奇威克（Robert Sedgewick） 相关软件： 宙斯；再次崩溃；PLTMG… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
FriCAS公司 引用于3份文件(2015–2019) 软件作者： 瓦尔德克·希比施 相关软件： AXIOM；渐近线；HAP… 主要字段： 场论与多项式（12-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
KNOPPIX/数学 引用于3份文件(2006–2008) 软件作者： 滨田达夫（Tatsuyoshi Hamada）；KNOPPIX/数学委员会 相关软件： MuPAD；Matlab；NZMATH… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
DynaMoW公司 2份文件引用(2011) 软件作者： Chyzak，Frédéric；亚历克西斯·达拉斯 相关软件： OCaml；Camlp4；OEIS公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
弗朗西 2份文件引用（2018年） 软件作者： 马查多·马丁斯（Manuel Machado Martins）；马库斯·普菲弗 相关软件： 有向图；朱庇特；XGAP… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
HolPy公司 2份文件引用(2021–2024) 软件作者： 徐润清；李黎明；詹伯华 相关软件： mftoolbox；杆；CBench… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
MathBrush（数学笔刷） 2份文件引用(2006–2018) 软件作者： 乔治·拉巴恩（George Labahn）；斯科特·麦克莱恩（Scott MacLean）；马祖，米雷特；伊恩，卢瑟福；戴维·陶斯基 相关软件： Isabelle/HOL；Isabelle/PIDE；Isabelle/j编辑… 主要字段： 计算机科学（68-XX）
数学TOUCH 2份文件引用（2018年） 软件作者： Shirai，Shizuka；福井、铁雄；吉多米，肯塔罗；川崎，三井；中原、高弘；中村康树；Kato，Katsuya；田口，Tetsuya 相关软件： 马克西玛；MeLQS；数学… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
PowerSeries系列 1份文件引用(2016) 软件作者： 阿尔瓦迪，帕里萨；马赫萨·卡泽米；玛扎，马克·莫雷诺 相关软件： 正则链；Mathematica；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；实函数（26-XX）…
Tonnetz公司 2份文件引用(2022) 软件作者： Guichaoua，C.、Besada，J.、Bisesi，E.、Andreatta，M。 相关软件： Web_ColoredCubeDance；D3.js；平面-4D 主要字段： 总体主题；集合（00-XX）
WEx编辑 1份文件引用(2006) 软件作者： Cohen，A.，Cuypers，H.，Poels，K.，Spanbroek，M.，Verrijzer，R。 相关软件： YACC；LKB；GF… 主要字段： 计算机科学（68-XX）
学院通信 1份文件引用(2000) 软件作者： 詹姆·古铁雷斯（Jaime Gutierrez）；罗萨里奥·鲁比奥 相关软件： 枫树 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
3D FractaL树 1份文件引用(2011) 软件作者： 约翰·容克（John Jungck）、詹妮弗·斯潘根伯格（Jennifer Spangenberg 相关软件： 擅长 主要字段： 测量和集成（28-XX）；生物学和其他自然科学（92-XX）
茉莉花 1份文件引用(2015) 软件作者： 赫尔穆特·德施 相关软件： GeoGebra；JSLisp；JAMA… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；数学教育（97-XX）
MathPiper公司 1份文件引用(2015) 软件作者： 特德·科桑（Ted Kosan）；格列戈兹·马祖（Grzegorz Mazur）；谢尔姆·奥斯特罗斯基 相关软件： GeoGebra；JSLisp；JAMA… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；数学教育（97-XX）
彭罗斯 1份文件引用(2021) 软件作者： K.Ye、W.Ni、M.Krieger、D.Ma'ayan、J.Wise、J.Aldrich、J.Sunshine、K.Crane 相关软件： TensorFlow；MMP/Geometer；GEOTHER 1.1… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）