A note about Euler's inequality and automated reasoning with dynamic geometry.
Zoltán KovácsRóbert VajdaPublished in: CoRR (2017)
Keyphrases
- automated reasoning
- theorem proving
- knowledge representation
- theorem prover
- reasoning systems
- automated verification
- three dimensional
- reasoning tasks
- probabilistic reasoning
- differential equations
- propositional satisfiability
- artificial intelligence
- knowledge base
- special case
- knowledge representation and reasoning
- decision procedures