Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician.

Norma B. Goethe Michèle Friend

Published in: Stud Logica (2010)

Keyphrases

theorem proving
real time
data mining
clustering algorithm
theorem prover
proof planning
artificial intelligence
search engine
computer vision
case study
video sequences
artificial neural networks
user interface
uniform distribution
partially ordered