动态数学 32篇文献引用(2001–2018) 软件作者： DFKI&萨尔大学 相关软件： OMDoc；枫树；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
薄荷 46篇文献引用(2005–2023) 软件作者： 鲁道夫·施勒；沃尔夫冈·施密德（Wolfgang Ch.Schmid）。 相关软件： 代码表；岩浆；多点… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
MB基础 17篇文献引用(1999–2006) 软件作者： 安德烈亚斯·弗兰克；迈克尔·科尔哈斯 相关软件： TPS；欧米茄；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
SCSCP公司 13份文件引用(2008–2017) 软件作者： S.Freundt、P.Horn、A.Konovalov、S.Linton、D.Roozemond 相关软件： 间隙；SageMath；枫树… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
格拉帕 5份文件引用(2000–2013) 软件作者： 纳赛尔·巴古提（Naser S.Barghouti）；约翰·莫塞尼戈（John M.Mocenigo）；李文克 相关软件： 图形库；动态记录仪；dotty… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）