A formal proof of Pick's Theorem.

Published in: Math. Struct. Comput. Sci. (2011)

Keyphrases

formal proof
theorem prover
von neumann
real time
neural network
bayesian networks
data mining
learning algorithm
multiscale
fixed point