Visual Mathematics: Diagrammatic Formalization and Proof.

John Howse Gem Stapleton

Published in: AISC/MKM/Calculemus (2008)

Keyphrases

visual information
computer science
data mining
visual features
theorem proving
knowledge representation
theorem prover
human vision
neural network
genetic algorithm
visual properties
mathematical knowledge