Lehmer's Theorem.

Simon Wimmer Lars Noschinski

Published in: Arch. Formal Proofs (2013)

Keyphrases

von neumann
computational complexity
digital topology
image processing
multiresolution
artificial intelligence
multiscale
support vector
search algorithm
data analysis