Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r).

Carl Kwan Mark R. Greenstreet

Published in: ACL2 (2018)

Keyphrases

vector space
intrinsic dimensionality
euclidean space
similarity search
graph classification
distance measure
metric space
high dimensional
feature vectors
low dimensional
database systems
data analysis
information extraction
maximum likelihood