List of accepted publications

---

A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials, M. Bridoux, K. Ghorbal, ISSAC 2024 (software)

Automated Reasoning About The Existence Of Darboux Polynomials, K. Ghorbal, M. Bridoux, ISSAC 2024