Prefer a chat interface with context about you and your work?
Faster Groebner bases for Lie derivatives of ODE systems via monomial orderings
Symbolic computation for systems of differential equations is often computationally expensive. Many practical differential models have a form of polynomial or rational ODE system with specified outputs. A basic symbolic approach to analyze these models is to compute and then symbolically process the polynomial system obtained by sufficiently many Lie …