LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
地质雷达 48篇文献引用（2003年至2024年） 软件作者： 保罗·里贝罗（Paulo J.Ribeiro Jr）；彼得·迪格尔 相关软件： R；spBayes；gstat… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
福克斯 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
CLICAL公司 17篇文献引用(1992–2017) 软件作者： Lounesto，P.、Mikkola，R.、Vierros，V.、。 相关软件： 克利福德；枫树；比格布拉… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
艾莉亚 4份文件引用(2018–2023) 软件作者： 乔纳森·布特尔（Jonathan Bootle）；安德烈亚·塞鲁利（Andrea Cerulli）；格罗斯、延斯；雅各布森，苏内；玛丽·马勒 相关软件： C的SNARK；性欲；斯巴达人… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）