• 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