基于Coq记录的矩阵形式化方法 (Matrix Formalization Based on Coq Record).

Zhenwei Ma Gang Chen

Published in: 计算机科学 (2019)

Keyphrases

formal methods
theorem prover
database
machine learning
knowledge representation
databases
real world
information retrieval
data structure
linear combination
matrix factorization
formal model
low rank
inference rules
linear algebra
matrix representation