Computing differential subresultants with Maple

2025/11/28 by M. Cabellos, Cabellos, M., Sonia L. Rueda +1
Computer Science · Mathematics · #12H05 #13P15 #FOS: Computer and information sciences #Modeling and Simulation Systems #Numerical methods for differential equations #Polynomial and algebraic computation #Symbolic Computation (cs.SC)

paper · pdf · doi:10.48550/arxiv.2512.05133

openalex publication_date 2025/11/28 · openalex created_date 2025/12/09 · openalex updated_date 2026/07/28

Abstract

We review the definition and main properties of differential subresultants in order to achieve their implementation in Maple, using the DEtools package. The focus is on computing GCRDs of ordinary differential operators with non necessarily rational coefficients. Determinant expressions provide explicit control, enabling the treatment of coefficients with parameters. Applications to commuting ordinary differential operators illustrate the effectiveness of the method.

Citations

• On the classification of centralizers of ODOs: An effective differential algebra approach
• Factorization of KdV Schrödinger operators using differential subresultants

Related

• Decomposition of Differential Polynomials
• DDE-SOLVER: A Maple Package For Discrete Differential Equations
• Subresultants in multiple roots: an extremal case
• Computing GCRDs of Approximate Differential Polynomials
• Implementation of Motzkin-Burger algorithm in Maple