Essential Incompleteness of Arithmetic Verified by Coq

Russell O'Connor

Published in: CoRR (2005)

Keyphrases

theorem prover
incomplete information
formal methods
multimedia
neural network
image processing
cooperative
natural language
feature space
arithmetic operations