Real Algebraic Strategies for MetiTarski Proofs.

Grant Olney Passmore Lawrence C. Paulson Leonardo Mendonça de Moura

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

real life
databases
real world
multimedia
decision trees
theorem proving
computer vision
optimal solution
theorem prover
formal proofs