Nonstandard second-order arithmetic and Riemann's mapping theorem.

Yoshihiro Horihata Keita Yokoyama

Published in: Ann. Pure Appl. Log. (2014)

Keyphrases

higher order
high order
data sets
neural network
machine learning
real world
information retrieval
decision making
knowledge base
image processing
decision trees
database systems
optimal solution