Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools.

Zoltán Kovács

Published in: CICM (2018)

Keyphrases

automated reasoning
three dimensional
theorem prover
decision procedures
theorem proving
reasoning systems
knowledge representation
general purpose
probabilistic reasoning
geometric objects
neural network
machine learning
probability distribution
knowledge representation and reasoning