Tinker, tailor, solver, proof.

Gudmund Grov Aleks Kissinger Yuhui Lin

Published in: UITP (2014)

Keyphrases

theorem proving
multiscale
theorem prover
linear logic
database
data mining
computer vision
image processing
digital libraries
expert systems
artificial neural networks
proof search
geometry theorem proving