ROTA公司 18篇文献引用(2000–2022) 软件作者： 多龙·泽尔伯格 相关软件： 梅利斯；USAW公司；USAP… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…
身份查找器 16篇文献引用(2015–2023) 软件作者： Kanade、Shashank；马修·罗素。 相关软件： q系列；RR工具；枫树… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；数论（11-XX）…
庞加莱系列 15篇文献引用(2010–2023) 软件作者： Bedratyuk，L.P.公司。 相关软件： 麦考利2号；Normaliz；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；非结合环与代数（17-XX）…
微分代数 在11份文件中引用(2010–2021) 软件作者： 弗朗索瓦·布利埃；弗朗索瓦·莱梅尔 相关软件： 枫树；DIFFALG公司；差异托马斯… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；偏微分方程（35-XX）…
每秒 9份文件引用(1999–2022) 软件作者： Dominik Gruntz；沃尔夫拉姆·科普夫 相关软件： 枫树；gfun；DEtools… 主要字段： 复变量函数（30-XX）；特殊功能（33-XX）；常微分方程（34-XX）…
克莱恩代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；Tripp，Omer公司；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GITA公司 8份文件引用(1990–2006) 软件作者： V.Basios、N.A.Chekanov、B.L.Markovski、V.A.Rostovtsev、S.I.Vinitsky 相关软件： 减少；LINA01；pchip… 主要字段： 历史与传记（01-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
里夫 8份文件引用(2004–2019) 软件作者： A.威特科普夫；G.里德 相关软件： 枫树；微分几何；减少… 主要字段： 场论与多项式（12-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
RLangG风机 7份文件引用(2008–2019) 软件作者： 克里斯托夫·库彻恩 相关软件： RNAsubopt基因；RNA折叠；枫树… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
多元动力系列 1份文件引用(2021) 软件作者： 穆罕默德·阿萨迪（Mohammadali Asadi）、亚历山大·勃兰特（Alexander Brandt）、马赫萨·卡泽米（Mahsa Kazemi）、马克·莫雷诺·马扎（Marc Moreno Maza）、埃里克·波斯塔 相关软件： SageMath；枫树；NTL… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
线性递归 1份文件引用(2020) 软件作者： 曼纽尔·埃贝尔 相关软件： 计算复数根；存档正式证据；贝列坎·萨森豪斯… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…