Peano's Unnoticed Proof of Borel's Theorem.

Ádám Besenyei

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

Keyphrases

interactive theorem proving
markov decision processes
database
theorem proving
information retrieval
artificial intelligence
case study
multiscale
control system
theorem prover
natural deduction
complete axiomatization
mathematical proofs