X减少 53篇文献引用(2003–2020) 软件作者： Haruo Hosoya，Benjamin C.Pierce（本杰明·皮尔斯） 相关软件： C诱导；XPath；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
圣杯 20篇文献引用(1994–2021) 软件作者： 达雷尔·雷蒙德；伍德，德里克 相关软件： 自动化；AMoRE；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
自动 13份文件引用(1990–2023) 软件作者： Champarnaud，J.M。；Hansel，G。 相关软件： 圣杯；AMoRE；AG… 主要字段： 通用代数系统（08-XX）；群论与推广（20-XX）；计算机科学（68-XX）
MSO_Regex_当量 7份文件引用(2013–2018) 软件作者： 德米特里·特拉泰尔（Dmitriy Traytel）；托比亚斯·尼普科 相关软件： Presburger Automata；Myhill-Nerode；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
致命的 2份文件引用(2010–2012) 软件作者： Claves，P.、Jansen，D.、Holtrup，S.J.、Mohr，M.、Reis，A.、Schatz，M.和Thesing，I。 相关软件： 廷巴克；MONA；MTBDD… 主要字段： 计算机科学（68-XX）
牦牛牦牛 2份文件引用(2000–2009) 软件作者： 克拉伦德，尼尔斯；Niels Damgaard；迈克尔·施瓦茨巴赫。 相关软件： YACC；野牛；MONA公司 主要字段： 计算机科学（68-XX）