Automated Reasoning For The Existence Of Darboux Polynomials.
Khalil GhorbalMaxime BridouxPublished in: ISSAC (2024)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- reasoning tasks
- theorem prover
- theorem proving
- probabilistic reasoning
- decision procedures
- automated verification
- first order logic
- relational databases
- knowledge representation and reasoning
- machine learning
- artificial neural networks
- random variables