A New Proof of Euclid's Theorem.

Published in: Am. Math. Mon. (2006)

Keyphrases

interactive theorem proving
theorem proving
real time
database
theorem prover
von neumann
natural deduction
genetic algorithm
artificial intelligence
image processing
multiresolution
linear logic
complete axiomatization