The shortest definition of a number in Peano arithmetic.

Published in: Math. Log. Q. (2003)

Keyphrases

small number
knowledge base
computational complexity
real time
data sets
machine learning
multimedia
case study
image segmentation
wide range
video sequences
probabilistic model
memory requirements
fixed number
maximum number