Banach's theorem in higher-order reverse mathematics.
Jeffry L. HirstCarl MummertPublished in: Comput. (2023)
Keyphrases
- higher order
- high order
- natural images
- pairwise
- von neumann
- computer science
- markov random field
- lower order
- markov models
- conditional random fields
- lambda calculus
- low order
- databases
- computer algebra
- linear combination
- graphical models
- computer programming
- computer assisted instruction
- search algorithm
- case study
- genetic algorithm
- digital topology
- mathematics education
- machine learning