CoqLibrary icon indicating copy to clipboard operation
CoqLibrary copied to clipboard

『Least upper bound of truncation error of low‐rank matrix approximation algorithm using QR decomposition with pivoting』のPreliminaries

Open itleigns opened this issue 3 years ago • 0 comments

概要

Least upper bound of truncation error of low-rank matrix approximation algorithm using QR decomposition with pivotingのPreliminariesまで実装した。

itleigns avatar Jun 08 '22 21:06 itleigns