自动图形X 146篇文献引用(1999–2024) 软件作者： 吉尔斯·卡波罗西 相关软件： 涂鸦；图形；nauty… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
图表之家 69篇文献引用(2012–2024) 软件作者： 冈纳·布林克曼；克里斯·库萨特（Kris Coolsaet）；Goedgebeur，Jan；梅洛特，哈德里安 相关软件： 鹦鹉螺；踪迹；snarkhunter… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
格普拉格 4份文件引用(2009–2018) 软件作者： 刘，C。；陈，C。；Han，J。；余，P.S。 相关软件： CCFinder；TALE公司；Pregel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NetLSD公司 4份文件引用(2020–2024) 软件作者： Anton Tsitsulin、Davide Mottin、Panagiotis Karras、Alex Bronstein、Emmanuel Müller 相关软件： Python；PyTorch；科学… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
DSJM公司 6篇文献引用（2013年至2018年） 软件作者： Hasan，M.，Hossain，S.，Steihaug，T。 相关软件： ColPack；ADOL-C；Harwell-Being稀疏矩阵集合… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
鸡蛋 4份文件引用(2021–2023) 软件作者： Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件： CatLib；同意；Verigraph… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
千ProbLog 5份文件引用(2016–2021) 软件作者： 弗朗西斯科·奥西尼；保罗·弗雷斯科尼；吕克·德·雷德 相关软件： ProbLog；戴纳；博客… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Photosketcher软件 1份文件引用(2017) 软件作者： Eitz M、Richter R、Hildebrand K、Boubekeur T、Alexa M 相关软件： 草图2照片；属性2图像；ImageNet… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
德意志Schorr Waite 1份文件引用(2012) 软件作者： Viorel Preoteasa；拉尔夫·约翰回来 相关软件： 数据精炼IBP；存档正式证据；伊莎贝尔/HOL 主要字段： 计算机科学（68-XX）
动机 1份文件引用(2016) 软件作者： Mitul Saha、Michael Levitt、Wah Chiu 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
毕加索 1份文件引用(2012) 软件作者： 达米安·祖弗里（Damien Zufferey）；托马斯·怀斯（Thomas Wies）；托马斯·汉津格 相关软件： 电梯 主要字段： 计算机科学（68-XX）