An Elementary Proof of the Hitting Time Theorem.

Remco van der Hofstad Michael Keane

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

Keyphrases

interactive theorem proving
markov chain
linear logic
theorem proving
databases
theorem prover
school children
intuitionistic logic
real time
learning algorithm
artificial intelligence
case study
special case
belief revision
mathematical proofs