减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；雷娜，格哈德；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；Mathematica；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
NQTHM公司 149份文件引用(1979–2022) 软件作者： 罗伯特·S·博伊尔。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
Risa/Asir公司 122篇文献引用(1992–2024) 软件作者： 北野正彦、横山和弘、竹岛高、下山竹石、安井广志、，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）…
PASCAL-XSC公司 99篇文献引用(1991–2022) 软件作者： Klatte，R.、Kulisch，U.、Neaga，M.、Ratz，D.、Ullrich，Ch、Januschke，P.、Ratz，D。 相关软件： C-XSC；C-XSC 2.0；ACRITH-XSC… 主要字段： 近似和扩展（41-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Coq/SS反射 74份文件引用(2008–2021) 软件作者： Microsoft Research-Inria联合中心 相关软件： Coq；Isabelle/HOL；米扎尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
得到 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；伯恩哈德墙；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
费马 47篇文献引用(1997–2022) 软件作者： Robert H.Lewis博士网址：http://www.bway.net/~刘易斯 相关软件： 表格；雷杜泽；基拉… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；数值分析（65-XX）…
BPOLY公司 13份文件引用(2001–2019) 软件作者： 蔡一峰；Rida T.Farouoki。 相关软件： MultRoot公司；Matlab；GLEW… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…