阿克拉·巴齐 swMATH ID: 28595 软件作者： 曼纽尔·埃贝尔 描述： Akra-Bazzi定理和Master定理。本文在雷顿的证明的基础上对阿克拉-巴齐方法进行了形式化。它是对著名的主定理的推广，用于分析分治算法的复杂性。我们还包括一个基于Akra-Bazzi定理的主定理的泛化版本，它比Akra-Bazzi公式本身更容易应用。还包括一些便于应用主定理的证明方法。有关形式化和证明方法的更详细解释，请参阅随附的论文（即将出版）。 主页： https://www.isa-afp.org/entries/Akra_Bazzi.html 依赖项： 伊莎贝尔 相关软件： HOL公司;朗道符号;存档正式证据;区域设置;伊莎贝尔/霍尔;伊莎贝尔 引用于： 1文件 1位作者引用 1 曼纽尔·埃贝尔 连载1篇 1 自动推理杂志 在2个字段中引用 1 数论（11-XX） 1 计算机科学（68至XX） 按年份列出的引文