A Mathematica package for certifying the nonexistence of Darboux polynomials

DOI10.1145/3712023.3712027MaRDI QIDQ7025076zbMATH OpenFDO

Authors Maxime Bridoux, Khalil Ghorbal

Publication date 20 February 2025

Published in ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3712023.3712027

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Explicit solutions, first integrals of ordinary differential equations (34A05) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04)

Cites work

• scientific article; zbMATH DE number 3935185 (Why is no real title available?)
• Automated reasoning for the existence of Darboux polynomials
• Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
• DARBOUX INTEGRABILITY FOR THE RÖSSLER SYSTEM
• Integrability and nonintegrability of dynamical systems

Cited in

(1)

• Automated reasoning for the existence of Darboux polynomials

This page was built for publication: A Mathematica package for certifying the nonexistence of Darboux polynomials

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025076)