Merging Maple and GeoGebra Automated Reasoning Tools.

Zoltán Kovács Tomás Recio M. Pilar Vélez

Published in: MC (2020)

Keyphrases

automated reasoning
knowledge representation
theorem prover
reasoning systems
theorem proving
probabilistic reasoning
decision procedures
reasoning tasks
knowledge representation and reasoning
prime implicants
automated verification
learning algorithm
propositional satisfiability