LAMG公司 39篇文献引用(2012–2024) 软件作者： 奥伦·利夫内（Oren E.Livne）。；阿奇·布兰特 相关软件： 稀疏矩阵；github；BoomerAMG… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
KLMLean公司 6篇文献引用(2007–2023) 软件作者： 劳拉·佐丹奴；瓦伦蒂娜·格里奥齐；吉安·卢卡（Gian Luca），披萨 相关软件： 康德莱恩；NESCOND；CSLLean… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CSLLean公司 5份文件引用（2010年-2023年） 软件作者： 阿伦达·R、奥利维蒂·N、波扎托·G·L。 相关软件： 康德莱恩；KLMLean公司；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
预DeLo 2份文件引用(2015) 软件作者： 佐丹诺，L.，格利奥齐，V.，贾拉尔，A.，奥利维蒂，N.和波扎托，G.L 相关软件： DysToPic；精益TAP 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
文特 2份文件引用(2017–2021) 软件作者： 玛丽安娜·吉兰多；莱尔曼，比约恩；尼古拉·奥利维蒂；吉安·卢卡（Gian Luca）；维塔利斯，昆廷 相关软件： NESCOND；康德莱恩；KLMLean… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）