Sketch-as-Proof.

Norbert Preining

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

neural network
automated theorem proving
databases
theorem prover
theorem proving
machine learning
artificial intelligence
video sequences
image retrieval
sketch recognition
proof planning