On Cantor's First Uncountability Proof, Pick's Theorem, and the Irrationality of the Golden Ratio.

Mike Krebs Thomas Wright

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

Keyphrases

interactive theorem proving
theorem prover
von neumann
website
expert systems
natural deduction
linear logic
theorem proving
face recognition
real time
multiresolution
standard deviation
case study
artificial intelligence
aspect ratio
information retrieval
data mining
neural network
databases