A HOL Theory of the Differential for Matrix Functions.

Yuhan Nie Zhiping Shi Aixuan Wu Ximeng Li Guohui Wang Yong Guan

Published in: TASE (2019)

Keyphrases

formal methods
linear algebra
theoretical framework
singular value decomposition
theoretical basis
algebraic properties
computational model
singular values
feature selection
decision making
probability distribution
higher order
covariance matrix
low rank