Login / Signup
Automated theorem proving for elementary geometry.
Marek Janasz
Published in:
FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
three dimensional
geometric structure
classical logic
high level
bayesian networks
geometric constraints
data sets
data mining
machine learning
inference rules