Login / Signup

Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability.

Andrej BauerAlex 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