LiteRed公司 160篇文献引用(2013–2024) 软件作者： R·李 相关软件： 火灾；雷杜泽；消防5… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
间隙 9份文件引用(2007–2018) 软件作者： Bandyopadhyay，Sanghamitra；斯里帕纳·萨哈 相关软件： UCI-ml；人工神经网络；clusfind… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
粉碎 9份文件引用(2009–2022) 软件作者： 阿洛尔，F.A.，马尔科夫，I.L.，萨卡拉，K.A。 相关软件： MiniSat；nauti；DRAT-饰件… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java路径查找器；GitHub… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
SymChaff公司 8份文件引用(2007–2022) 软件作者： 阿什什·萨巴沃尔 相关软件： MiniSat；极乐；nauty… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
库特 2份文件引用(2008–2017) 软件作者： Emsley P、Cowtan K。 相关软件： CCP4；PHENIX公司；退出… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
InSyDE公司 引用于3份文件(2019–2023) 软件作者： Avellar，J。；Cardoso，M.S。；杜阿尔特，L.G.S。；达莫塔，L.A.C.P。 相关软件： 菲奥迪；菲奥迪；枫树 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
显式PRISMSymm 2份文件引用(2015) 软件作者： 帕特尔，里马；凯文·帕特尔（Kevin Patel）；Patel，迪伦 相关软件： 棱镜 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Qsymm公司 1份文件引用(2022) 软件作者： Daniel Varjas、Tomas O.Rosdahl、Anton R.Akhmerov 相关软件： 结核杆菌；MagneticTB；SpaceGroupIrep… 主要字段： 统计力学，物质结构（82-XX）
MCMIN公司 1份文件引用(1998) 软件作者： Kim，Jai Sam；托莱达诺，J.C。；托莱达诺，P。 相关软件： 各向同性 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
对诊断Sph 1份文件引用(2021) 软件作者： 刘晓宇；齐、冲；关欣；刘，钟 相关软件： – 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…