On the Difficulty of Writing Out Formal Proofs in Arithmetic.

Takeshi Yamaguchi Ryo Kashima

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

Keyphrases

formal proofs
data sets
arithmetic operations
real world
information systems
image processing
three dimensional
multiscale
multi agent