A Formal Proof of Pick's Theorem - (Extended Abstract).

Published in: ICMS (2010)

Keyphrases

extended abstract
formal proof
theorem prover
von neumann
bayesian networks
inference rules
digital topology
neural network
feature selection
high level
high quality
multi agent
support vector
knowledge representation
fixed point