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