A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic.

Takako Nemoto Sato Kentaro

Published in: J. Symb. Log. (2022)

Keyphrases

floating point
arithmetic operations
computer vision
clifford algebra
database
artificial intelligence
database systems
machine learning
case study
feature extraction
hidden markov models
fixed point theorem