Automated reasoning tools in GeoGebra discovery.
Zoltán KovácsTomás RecioM. Pilar VélezPublished in: ACM Commun. Comput. Algebra (2021)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem proving
- probabilistic reasoning
- theorem prover
- decision procedures
- automated verification
- reasoning tasks
- knowledge discovery
- knowledge representation and reasoning
- propositional satisfiability
- first order logic
- energy function
- special case
- machine learning
- data mining