糠 559份文件引用（2001年-2023年） 软件作者： Moskewicz，M.、Madigan，C.、Zhao，Y.、Zhang，L.和Malik，S 相关软件： MiniSat；伯克敏；SATO… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
BARON公司 引用于420份文件(1996–2024) 软件作者： 尼古拉斯五世·萨希尼迪斯。 相关软件： CPLEX；GAMS；科幻小说… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FEASPUMP公司 139篇文献引用(1979–2024) 软件作者： 菲舍蒂（Matteo Fischetti）；多梅尼科·萨尔瓦金 相关软件： MIPLIB公司；CPLEX；MIPLIB2003… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
薄荷 引用于46份文件（2005年-2023年） 软件作者： 鲁道夫·施勒；沃尔夫冈·施密德（Wolfgang Ch.Schmid）。 相关软件： 代码表；岩浆；多点… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
PBLib（公共图书馆） 在15份文件中引用(2007–2023) 软件作者： 托拜厄斯·菲利普；彼得·斯坦克 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
松弛复杂性 3份文件引用(2021–2023) 软件作者： 根纳季·阿弗科夫；克里斯托弗·霍尼；马提亚斯·施穆拉 相关软件： SCIP；极乐；西蒙… 主要字段： 凸和离散几何（52-XX）；运筹学、数学规划（90-XX）