Formalization of Function Matrix Theory in HOL.

Zhiping Shi Zhenke Liu Yong Guan Shiwei Ye Jie Zhang Hongxing Wei

Published in: J. Appl. Math. (2014)

Keyphrases

formal methods
linear algebra
theorem prover
data sets
theoretical framework
low rank
general theory
machine learning
pairwise
knowledge based systems
singular value decomposition
information theory
theoretical basis
speech acts
design theory
higher order logic