ELAN公司 106篇文献中引用(1996–2020) 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
月收入 33篇文献引用(2004–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
EQP公司 13份文件引用(1997–2022) 软件作者： 威廉·麦库恩 相关软件： 水獭；Waldmeister；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
PRocH公司 12份文件引用(2013–2018) 软件作者： Cezary Kaliszyk；约瑟夫·乌尔班 相关软件： HOL灯；Flyspeck；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
雅典娜 10篇文献引用(2004–2017) 软件作者： 康斯坦丁·阿库达斯 相关软件： 雅典娜；HE-E1GODF；卡斯特罗… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
UTP2型 5份文件引用（2010年至2019年） 软件作者： 安德鲁·布特菲尔德 相关软件： Saoithin；Isabelle/HOL；Isabelle/UTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
向ATINF致敬 2份文件引用（2001年至2012年） 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
医学博士 在0个文档中引用 软件作者： 卢克·麦吉尼斯（Luke McGuinness）、莉娜·施密特（Lena Schmidt）、图伊娅·桑基拉（Tuija Sonkkila）、纳伊科·雅恩（Najko Jahn） 相关软件： R（右） 主要字段： –
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）