ALM99

Philippe Aubry, Daniel Lazard, Marc Moreno Maza. On the theories of triangular sets. Journal of Symbolic Computation. 1999

BKM01

Driss Bouziane, Abdelillah Kandri Rody, Hamid Maarouf. UnmixedDimensional Decomposition of a Finitely Generated Perfect Differential Ideal. Journal of Symbolic Computation. 2001

B09

Francois Boulier. The BLAD libraries.

BLOP95

Francois Boulier, Daniel Lazard, Francois Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal. ISSAC. 1995

BLOP09

Francois Boulier, Daniel Lazard, Francois Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. Journal of AAECC. 2009

BLLM07

Francois Boulier, Marc Lefranc, Francois Lemaire, PierreEmmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. MACIS. 2007

BL00

Francois Boulier, Francois Lemaire. Computing canonical representatives of regular differential ideals. ISSAC. 2000

BLM06

Francois Boulier, Francois Lemaire, Marc Moreno Maza. Well known theorems on triangular systems and the D5 principle. TC. 2006

BLM10

Francois Boulier, Francois Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. Journal of Symbolic Computation. To appear in 2010.

BC99

Alexandru Buium, Phyllis Cassidy. Differential Algebraic Geometry and Differential Algebraic Groups: From Algebraic Differential Equations To Diophantine Geometry. American Mathematical Society. 1999.

DL84

Jan Denef, Leonard Lipshitz. Power Series Solutions of Algebraic Differential Equations. Mathematische Annalen. 1984

GKO09

Oleg Golubitsky, Marina Kondratieva, Alexey Ovchinnikov. Algebraic transformation of differential characteristic decompositions from one ranking to another. Journal of Symbolic Computation. 2009

BMO91

Giovanni Gallo, Bubaneshwar Mishra, Francois Ollivier. Some constructions in rings of differential polynomials. AAECC. 1991

H99

Evelyne Hubert. Essential Components of an Algebraic Differential Equation. Journal of Symbolic Computation. 1999.

H00

Evelyne Hubert. Factorization free decomposition algorithms in differential algebra. Journal of Symbolic Computation. 2000

HW96

Ernst Hairer, Gerhard Wanner. Solving ordinary differential equations II. Stiff and DifferentialAlgebraic Problems. SpringerVerlag. 1996

K73

Ellis Robert Kolchin. Differential Algebra and Algebraic groups. Academic Press. 1973

LW99

Ziming Li, Dongming Wang. Coherent, regular and simple systems in zero decompositions of partial differential systems. Systems Science and Mathematical Sciences. 1999

M91

Elizabeth L. Mansfield. Differential Groebner Bases. PhD thesis. 1991

MMM00

Marc Moreno Maza. On Triangular Decompositions of Algebraic Varieties. MEGA. 2000.

M99

Sally Morrison. The Differential Ideal [P]:M. Journal of Symbolic Computation. 1999

RWB96

Gregory J. Reid, Allan D. Wittkopf, Alan Boulton. Reduction of systems of nonlinear partial differential equations to simplified involutive forms European Journal of Applied Math. 1996

RLW01

Gregory J. Reid, Ping Lin, Allan D. Wittkopf. Differential EliminationCompletion Algorithms for DAE and PDAE. Studies in Applied Mathematics. 2001

R50

Joseph Fels Ritt. Differential Algebra. Dover Publications Inc. 1950

R59

Azriel Rosenfeld. Specializations in differential algebra. TAMS. 1959

S56

Abraham Seidenberg. An elimination theory for differential algebra. Univ. California Publ. Math. (New Series). 1956

S02

William Sit, The RittKolchin theory for differential polynomials. DART. 2002

Wu89

Wenjun Wu. On the foundation of algebraic differential geometry. Mechanization of Mathematics. 1989

W98

Dongming Wang. Decomposing polynomial systems into simple systems. Journal of Symbolic Computation. 1998

W03

Dongming Wang. Elimination Practice: Software Tools and Applications. Imperial College Press. 2003
