Vector Clocks in Coq: An Experience Report.

Christopher Meiklejohn

Published in: CoRR (2014)

Keyphrases

vector space
feature vectors
sparse matrix
multimedia
theorem prover
artificial intelligence
multiscale
preprocessing
formal methods