An Elementary Proof of the Irrationality of e.

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

Keyphrases

theorem prover
theorem proving
hidden markov models
proof search
real time
databases
learning algorithm
information systems
search space