Non-Commutative Infinitary Peano Arithmetic.

Makoto Tatsuta Stefano Berardi

Published in: CSL (2011)

Keyphrases

arithmetic operations
machine learning
computer vision
pairwise
special case
floating point
three dimensional
image retrieval
relational databases