Dependently Typing R Vectors, Arrays, and Matrices.

John Wrenn Anjali Pal Alexa VanHattum Shriram Krishnamurthi

Published in: CoRR (2023)

Keyphrases

covariance matrices
matrix representation
singular values
symmetric matrices
vector space
projection matrices
feature vectors
singular value decomposition
rows and columns
neural network
linear complementarity problem
input data
covariance matrix
original data
projection matrix
linear array