CoqLibrary icon indicating copy to clipboard operation
CoqLibrary copied to clipboard

verified publisher icon itleigns
→

Metadata

Coqで様々な数学の定理を証明

Results 1 CoqLibrary issues
Sort by recently updated
recently updated
newest added

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

# 概要 [Least upper bound of truncation error of low-rank matrix approximation algorithm using QR decomposition with pivoting](https://link.springer.com/article/10.1007/s13160-021-00459-x)のPreliminariesまで実装した。

itleigns avatar itleigns

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon itleigns

Metadata

Coqで様々な数学の定理を証明

Back