Sign in

Coding of real-valued continuous functions under WKL $\mathsf {WKL}$.

Tatsuji Kawai
Published in: Math. Log. Q. (2023)
Keyphrases
  • continuous functions
  • real valued
  • complex valued
  • integer valued
  • neural network
  • machine learning
  • image processing
  • latent variables
  • real valued data
  • search engine
  • decision trees
  • test collection
  • ranking functions