凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
SYNRAC公司 29篇文献引用(2003–2024) 软件作者： 阿奈（Anai，Hirokazu）；仁亚那米 相关软件： QEPCAD；枫树；重新记录… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
SACLIB公司 23篇文献引用(1993–2009) 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
雷神之锤 16篇文献引用(2011–2022) 软件作者： D.莫诺 相关软件： RAReQS；z3；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
守护者 5份文件引用(1997–2021) 软件作者： 安德烈亚斯·多尔兹曼；托马斯·斯特姆 相关软件： REDLOG；QEPCAD；TDDS… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；常微分方程（34-XX）…
MAS公司 5份文件引用(1997–2015) 软件作者： Kredel，H.，Pesch，M 相关软件： 菅直人；伯格曼；费利克斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
REACH标准 4份文件引用(2013–2018) 软件作者： 徐明；朱家琦；李志斌 相关软件： iscas-Mc；z3；重新记录… 主要字段： 场论与多项式（12-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
终结者 4份文件引用(2013–2022) 软件作者： 徐明；李志斌 相关软件： LoAT；停机坪；GitHub… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；动力系统和遍历理论（37-XX）…
CGSQE公司 2份文件引用(2016–2019) 软件作者： 藤崎隆彦；伊瓦内、希德诺；佐藤、优介 相关软件： REDLOG；QEPCAD；PGB… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；计算机科学（68-XX）
瓦斯 2份文件引用(2019–2020) 软件作者： Sakaguchi，K。 相关软件： github；停机坪；PPL… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
Sturm-Tarski定理 1份文件引用(2020) 软件作者： 李文达（Wenda Li） 相关软件： Winding_Number_Eval；计算复数根；存档正式证据… 主要字段： 复变量函数（30-XX）；计算机科学（68-XX）