An Elementary Proof for Two Basic Alternating Series.

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

Keyphrases

theorem proving
learning algorithm
decision making
three dimensional
theorem prover
neural network
bayesian networks
multiscale
preprocessing
linear logic
automated theorem proving
proof planning