Login / Signup
Quantomatic: A proof assistant for diagrammatic reasoning.
Aleks Kissinger
Vladimir Zamdzhiev
Published in:
CoRR (2015)
Keyphrases
</>
diagrammatic reasoning
symbolic reasoning
test bed
structural analysis
cognitive processes
theorem proving
theorem prover
human problem solving
machine learning
computer vision
data analysis
fixed point
decision procedures