C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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