ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞格尔；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
第2组 17篇文献引用（2009年至2022年） 软件作者： C.烘焙；D.丰满 相关软件： AGG；GrGen公司；Fujaba… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MGS公司 9份文件引用（2001年至2016年） 软件作者： 贾维托，J.-L。；O·米歇尔。 相关软件： HOCL；NESL；莫德… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
镉 4份文件引用(2008–2017) 软件作者： 格雷戈里·杜克（Gregory J.Duck）。；莱斯利·德·科宁克；彼得·斯图基（Peter J.Stuckey）。 相关软件： 微量锌；通用电气；G12… 主要字段： 计算机科学（68-XX）
色度 2份文件引用(2018–2022) 软件作者： 霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；安德鲁·米勒（Andrew J.Millar）。；戈登·普洛金（Gordon D.Plotkin）。；Argyris扎尔迪利斯 相关软件： PySB；BioNetGen；eBCSgen… 主要字段： 生物学和其他自然科学（92-XX）
跳鼠 2份文件引用(2014–2022) 软件作者： 哈基姆·贝哈瓦里；阿诺德，阿格内斯；勒加尔，帕斯卡尔；托马斯·贝雷特 相关软件： GP 2；富贾巴；GrGen… 主要字段： 计算机科学（68-XX）
MEMSA实验室 2份文件引用(2014–2022) 软件作者： 瓦利德·贝尔基尔；阿兰·乔尔盖蒂；米歇尔·伦茨纳 相关软件： CoReS；汤姆；枫树 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
NLProlog（NL序言） 2份文件引用(2021) 软件作者： 莱昂·韦伯（Leon Weber）、帕斯奎尔·米内尔维尼（Pasquale Minervini）、詹妮斯·穆奇迈耶（Jannes Münchmeyer）、乌尔夫·莱瑟（Ulf Leser）、蒂姆·罗克塔谢尔（Tim Rocktäschel 相关软件： DeepProbLog；TensorLog；PyTorch… 主要字段： 计算机科学（68-XX）
Bugram（错误） 在0个文档中引用 软件作者： Song Wang、Devin Chollak、Dana Movshovitz-Attias、Lin Tan 相关软件： 设计；图形代码BERT；杂项… 主要字段： ——
符号数字集成.jl 1份文件引用(2022) 软件作者： 伊朗文，沙赫里亚尔；卡尔·朱利叶斯·马滕森；亚历山德罗，切利；沙什·高达（Shashi Gowda）；阿南德·杰恩（Anand Jain）；马英波；克里斯·拉卡卡斯 相关软件： 建模工具包.jl；SymPy；数据驱动DiffEq.jl… 主要字段： 计算机科学（68-XX）