The proof of Muqattash-Yahdi conjecture.

Cristinel Mortici

Published in: Math. Comput. Model. (2010)

Keyphrases

theorem prover
theorem proving
geometry theorem proving
real time
databases
neural network
computer vision
bayesian networks
objective function
mathematical proofs