Executable Matrix Operations on Matrices of Arbitrary Dimensions.

Christian Sternagel René Thiemann

Published in: Arch. Formal Proofs (2010)

Keyphrases

arbitrary dimension
matrix multiplication
rows and columns
singular value decomposition
coefficient matrix
singular values
matrix representation
higher dimensional
positive definite
cell complexes
data matrix
digital curves
medial axis
low rank
feature selection
quadtree
covariance matrix
computationally efficient