二维数组(Two Dimensional Array)
[Back to Index]
Examples of verified algorithms
- 矩阵相加（Matrix Addition）
- 矩阵倍乘（Matrix Times a Constant）
- 矩阵转置（Matrix Transpose）
- 矩阵乘法（Matrix Multiplication）
- 矩阵乘法（范域词）（Matrix Multiplication, using Quantifier \sum）
- 矩阵分块乘法（分块固定）（Matrix Multiplication with Constant Block）
- 矩阵分块乘法（引理）（Matrix Multiplication with Lemma）
- 矩阵分块乘法（宏定义）（Matrix Multiplication with Macro）
- 矩阵分块乘法（归纳谓词）（Matrix Multiplication with Quantifier Predicate）
- 最短路径问题（The Shortest Path）