When does a 'visual proof by induction' serve a proof-like function in mathematics?

Josephine Relaford-Doyle Rafael E. Núñez

Published in: CogSci (2017)

Keyphrases

proof planning
theorem proving
proof search
linear logic
theorem prover
data mining
geometry theorem proving
keywords
computer science
low level
concept learning
multiscale
image sequences
concept formation
high level
proof theory
genetic algorithm
machine learning
data sets