List of accepted publications

---

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

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