C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Incidence Simplicial Matrices Formalized in Coq/SSReflect.
Jónathan Heras
María Poza
Maxime Dénès
Laurence Rideau
Published in:
Calculemus/MKM (2011)
Keyphrases
</>
theorem prover
singular value decomposition
data matrix
neural network
formal methods
betti numbers
projection matrices
coefficient matrix
information systems
first order logic
covariance matrices
singular values
pairwise comparison
matrix multiplication
kronecker product