Verifying Fast and Sparse SSA-Based Optimizations in Coq.

Delphine Demange David Pichardie Léo Stefanesco

Published in: CC (2015)

Keyphrases

sparse data
high dimensional
formal methods
theorem prover
model checking
multiscale
sparse coding
random projections
compressive sensing
real world
artificial intelligence
multiresolution
sparse representation
sparse matrix
elastic net