Login / Signup
Quantomatic: A Proof Assistant for Diagrammatic Reasoning.
Aleks Kissinger
Vladimir Zamdzhiev
Published in:
CADE (2015)
Keyphrases
</>
diagrammatic reasoning
symbolic reasoning
cognitive processes
structural analysis
test bed
theorem proving
theorem prover
human problem solving
computer vision
production rules