Pincherle's theorem in reverse mathematics and computability theory.

Dag Normann Sam Sanders

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

Keyphrases

von neumann
theoretical framework
computer algebra
computer science
data structure
cooperative
formal theory
information retrieval
feature selection
image processing
decision trees
three dimensional
support vector
relational databases
computational model
information theory