Mixing Computations and Proofs.

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

Keyphrases

theorem proving
theorem prover
neural network
mathematical proofs
real time
formal proof
formal proofs
databases
genetic algorithm
knowledge base
image segmentation
cooperative
artificial neural networks
decision procedures
natural deduction