1 citations · 1 across the 16 of their papers we have counts for
Showing math.NAShow all
2 papers · 1 filter
math.NA2026
A Unified Framework for Formalizing Matrix Decomposition Proofs
Wanli Ma, Zichen Wang, Zaiwen Wen
Existence proofs for many matrix decompositions share a recursive routine: a local transformation prepares the matrix, a slice is selected, a recursive solution is obtained, and th…
math.NA2026
Nyström Approximation on Manifolds
Hantao Nie, Bin Gao, Andi Han +3
Computations on a manifold often involve constructing an operator on the tangent space and computing its inverse, which can be time-consuming in many applications. In order to redu…