Yet Another Direct Proof of the Uncountability of the Transcendental Numbers.

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

Keyphrases

theorem prover
feature selection
decision making
three dimensional
linear logic
neural network
objective function
logic programming
theorem proving
proof search
proof planning
mathematical proofs