A BVP nonexistence proof using Green's Theorem.

Joseph P. Previte Joseph E. Paullet

Published in: Appl. Math. Lett. (2017)

Keyphrases

interactive theorem proving
theorem prover
data mining
neural network
theorem proving
von neumann
mathematical proofs
databases
machine learning
three dimensional
learning environment
evolutionary algorithm
linear logic
logical rules
proof planning