迭代方法算法的系统性生成
摘要：FLAME方法学使得可以从线性代数问题的正式描述中推导出可证明的正确算法。到目前为止，该方法学已成功用于自动推导直接算法，如Cholesky分解和Sylvester方程的求解。在本论文中，我们将FLAME方法学扩展到处理迭代方法，如共轭梯度法。我们以迭代方法在矩阵形式下的正式描述为起点，得出一系列可证明正确的伪代码算法。我们认为所有中间步骤都足够系统化以实现完全自动化。
作者：Henrik Barthels
论文ID：1703.00279
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2018-03-28