A Simple Proof of the Johnson-Lindenstrauss Extension Theorem.

Published in: Am. Math. Mon. (2019)

Keyphrases

johnson lindenstrauss
databases
high level
provably correct
interactive theorem proving
data sets
data mining
search engine
computer vision
artificial neural networks
evolutionary algorithm
multiresolution