流动网络

流网络和最小割最大流定理。给出了流网络的形式化和最小割最大流定理。我们的形式化证明严格遵循标准的教科书证明,即使没有Isabelle/HOL(用于形式化的交互式定理证明程序)的专家也可以访问

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Lammich,Peter;Sefidgar,S.Reza:形式化网络流算法:Isabelle/HOL的精化方法(2019)