The Vitali Covering Theorem in the Weihrauch Lattice.

Vasco Brattka Guido Gherardi Rupert Hölzl Arno Pauly

Published in: CoRR (2016)

Keyphrases

lattice structure
von neumann
lattice theory
data sets
computer vision
search algorithm
lattice vector quantization
databases
decision making
data structure
evolutionary algorithm
concept lattice
algebraic structure
lattice points
integer points