动态数学 32篇文献引用(2001–2018) 软件作者： DFKI和萨尔大学 相关软件： OMDoc；枫树；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-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）
arXMLiv公司 6篇文献引用(2008–2015) 软件作者： 德扬·基涅夫、康斯坦丁·朱科夫斯基、斯特凡·安卡、米海·格里戈尔、卡塔琳·戴维、迈克尔·科尔哈斯 相关软件： LaTeXML；乳胶；ActiveMath… 主要字段： 计算机科学（68-XX）