Login / Signup
Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.
Andrej Bauer
Alex Simpson
Published in:
Math. Log. Q. (2004)
Keyphrases
</>
vector space
information retrieval
databases
genetic algorithm
social networks
case study
probabilistic model
signal processing
data hiding
data embedding