C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Visual Proofs as Counterexamples to the Standard View of Informal Mathematical Proofs?
Simon Weisgerber
Published in:
Diagrams (2022)
Keyphrases
</>
mathematical proofs
cognitive processes
theorem prover
visual features
natural language
low level
multiple views
machine learning
database
knowledge base
high level
visual information
visual perception
informal learning