非对称性 149份文件引用(1979–2022) 软件作者： 罗伯特·博伊尔（Robert S.Boyer）。；J.Strother摩尔 相关软件： HOL；ACL2；PVS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；群论与推广（20-XX）…
Rcpp Armadillo 引用于70篇文献(2012–2023) 软件作者： 罗曼·弗朗索瓦（Romain Francois）、德克·埃德布特尔（Dirk Eddelbuettel）、道格·贝茨（Doug Bates） 相关软件： R；卢比；犰狳… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MEXX公司 19份文件引用（1995年至2019年） 软件作者： 克里斯蒂安·卢比奇；乌尔里希·诺瓦克（Ulrich Nowak）；乌维·普勒；克里斯蒂安·恩斯特勒 相关软件： 罗德斯；DASSL；MBSPACK… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
Comix公司 14篇文献引用(2010–2023) 软件作者： Tanju Gleisberg、Stefan Hoeche 相关软件： PHEGAS公司；阿尔卑斯山；剪切工具… 主要字段： 组合数学（05-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
RBDL公司 7份文件引用(2019–2023) 软件作者： M.L.费利斯 相关软件： github；卡萨迪；木偶… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
算法691 6篇文献引用(1990–2019) 软件作者： Paola Favati、Grazia Lotti、Francesco Romani 相关软件： QUADPACK公司；克伦肖-库蒂斯；算法528 主要字段： 偏微分方程（35-XX）；近似和扩展（41-XX）；概率论与随机过程（60-XX）…
伊曼德拉 5份文件引用(2020–2022) 软件作者： 格兰特·奥尼·帕斯莫尔（Grant Olney Passmore）、西蒙·克鲁恩斯（Simon Cruanes）、丹尼斯·伊格纳托维奇（Denis Ignatovich）、戴夫·艾特肯（Dave Aitken）、马特·布雷（Matt Bray 相关软件： VAMPIRE公司；SMT-LIB；芝诺… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮，威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi-calculi；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
背包 1份文件引用（2014年） 软件作者： 斯科特·基尔帕特里克；德里克·德雷尔（Derek Dreyer）；西蒙·佩顿·琼斯；西蒙马洛 相关软件： MixML；哈斯克尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）