An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs.

Peter Coppin Jim Burton Stephen Hockema

Published in: Diagrams (2010)

Keyphrases

real time
natural language
general theory
equational theories
collaborative learning
data sets
artificial intelligence
computer vision
image processing
website
information theory
theorem proving
decision procedures
formal theory