Formalizing a Proof that e is Transcendental.

Published in: J. Formaliz. Reason. (2011)

Keyphrases

linear logic
theorem prover
multiresolution
formal proof
database
three dimensional
objective function
learning environment
expert systems
theorem proving
automated theorem proving
proof planning