Login / Signup

Automated Theorem Proving in GeoGebra: Current Achievements.

Francisco BotanaMarkus HohenwarterPredrag JanicicZoltán KovácsIvan PetrovicTomás RecioSimon Weitzhofer
Published in: J. Autom. Reason. (2015)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • constraint satisfaction
  • information retrieval
  • expert systems
  • general purpose
  • answer set programming