Interpreting a Classical Geometric Proof with Interactive Realizability.

Giovanni Birolo

Published in: COS (2013)

Keyphrases

geometry theorem proving
theorem proving
artificial neural networks
computer graphics
highly interactive
data sets
neural network
user interaction
mathematical proofs
database
real time
virtual reality