Proof verification and proof discovery for relativity.

Naveen Sundar Govindarajulu Selmer Bringsjord Joshua Taylor

Published in: Synth. (2015)

Keyphrases

theorem prover
formal proof
theorem proving
machine learning
web services
similarity measure
mathematical proofs
special case
image processing
genetic algorithm
neural network
databases
data sets
expert systems
information systems
computer vision
natural deduction
proof planning