Automated Reasoning For The Existence Of Darboux Polynomials. - Khalil Ghorbal; Maxime Bridoux (ISSAC, 2024)

A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials. - Maxime Bridoux; Khalil Ghorbal (ACM Commun. Comput. Algebra, 2024)