埃德蒙兹-卡普 10篇文献引用(2016–2022) 软件作者： 彼得·兰米奇（Peter Lammich）；塞菲加·雷扎 相关软件： Isabelle/HOL；存档正式证据；Gabow SCC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
CS2型 引用于3份文件(2005–2019) 软件作者： 安德鲁·戈德堡、安东尼奥·弗兰吉奥尼、安东尼奥·曼卡 相关软件： BGL；MCF单纯形；升压… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Prpu_Maxflow（最大流量） 1份文件引用(2019) 软件作者： 彼得·兰米奇（Peter Lammich）；S.Reza Sefidgar公司 相关软件： Dijkstra最短路径；Why3；WhyML… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）