腿 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： 辅酶q；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
蒂罗尔（Tyrolean） 95篇文献引用(2005–2023) 软件作者： Nao Hirokawa；阿尔特·米德尔多普 相关软件： AProVE；多终端；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；结合环与代数（16-XX）…
ConArg2公司 8份文件引用(2014–2022) 软件作者： 比斯塔雷利，S。；罗西，F。；F.桑蒂尼。 相关软件： AFRA；MiniSat；邓金… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
AUTOCLUST公司+ 3份文件引用(2001–2007) 软件作者： 弗拉基米尔Estivill-Castro；李，伊克杰 相关软件： – 主要字段： 统计学（62-XX）；计算机科学（68-XX）
DiArg公司 2份文件引用(2022–2023) 软件作者： 蒂莫修斯·坎皮克（Timotheus Kampik），多夫·加巴伊（Dov Gabbay） 相关软件： 崔弟 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PGPLOT公司 2份文件引用(2016–2018) 软件作者： 蒂姆·皮尔森 相关软件： Matlab；FFTPACK；LAPACK公司 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
德摩尼克 1份文件引用(2015) 软件作者： 萨姆森·艾布拉姆斯基；多米尼克·霍斯曼 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
渔民_不平等 1份文件引用(2023) 软件作者： Edmonds，C.、Paulson，L.C 相关软件： 周长彩色；伊莎贝尔；Roth_Arithmetic_Progressions… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
姜汁 1份文件引用(2023) 软件作者： Horizen实验室；https://github.com/HorizenOfficial/ginger-lib/blob/master/AUTHORS 相关软件： GitHub；普隆基2号；波塞冬2… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）