Essential Incompleteness of Arithmetic Verified by Coq.

Russell O'Connor

Published in: TPHOLs (2005)

Keyphrases

formal methods
incomplete information
floating point
real time
neural network
decision making
multimedia
case study
similarity measure
data structure
probability distribution
arithmetic operations