Fast differential elimination in C: The CDiffElim environment

Abstract We introduce the CDiffElim environment, written in C, and an algorithm developed in this environment for simplifying systems of overdetermined partial differential equations by using differentiation and elimination. This environment has strategies for addressing difficulties encountered in differential elimination algorithms, such as exhaustion of computer memory due to intermediate expression swell, and failure to complete due to the massive number of calculations involved. These strategies ... Title of program: DiffElim Catalogue Id: ADOI_v1_0 Nature of problem Differential Elimination of linear and polynomially nonlinear systems of ODE/PDE with coefficients in Z[x1, ..., xn], where x1, .., xn are the independent variables. Versions of this program held in the CPC repository in Mendeley Data ADOI_v1_0; DiffElim; 10.1016/S0010-4655(01)00192-8 This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)