Login / Signup

Quantomatic: A Proof Assistant for Diagrammatic Reasoning.

Aleks KissingerVladimir 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