Another Proof of Clairaut's Theorem.

Peter J. McGrath

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

Keyphrases

interactive theorem proving
theorem proving
von neumann
knowledge base
database
databases
information retrieval
image processing
multiscale
reinforcement learning
natural deduction
mathematical proofs