DifferentialAlgebra swMATH ID: 13540 Software Authors: Boulier, François; Lemaire, François Description: The DifferentialAlgebra package implements algebraic and differential elimination algorithms which are key for simplifying systems of polynomial differential equations and computing formal power series solutions for them. The underlying theory is the differential algebra of Joseph Fels Ritt and Ellis Robert Kolchin [R50, K73] (see References). The main functionality of the package is provided by the RosenfeldGroebner function, which permits triangularizing a differential equation system so that it can be solved eliminating one variable at a time, simplifying the system with respect to its integrability conditions, or determining its singular cases. Commands are also provided to solve related problems, such as BelongsTo for deciding membership to a differential ideal, and ReducedForm for reducing a system with respect to another one. The command for computing formal power series solutions to differential equation systems is PowerSeriesSolution. Other commands for analyzing mathematical properties of differential systems or performing algebraic manipulation and related programming are listed below. Homepage: http://www.maplesoft.com/support/help/maple/view.aspx?path=DifferentialAlgebra Dependencies: Maple Related Software: Maple; DIFFALG; DifferentialThomas; BLAD; Epsilon; prs.spad; DifferentialGeometry; LieAlgebrasOfVectorFields; MapDE; Rif; SADE; GeM; ObservabilityTest; diffgrob2; DISCOVERER; Matlab; BLINEIDE; INTEG; RODAS; RegularChains Cited in: 11 Publications all top 5 Cited by 24 Authors 8 Boulier, François 8 Lemaire, François 3 Poteaux, Adrien 3 Verdière, Nathalie 2 Moreno Maza, Marc 2 Rosenkranz, Markus 1 Basiri, Abdolali 1 Castel, Hélène 1 Corson, Nathalie 1 Denis-Vidal, Lilianne 1 Fakouri, Shahnaz 1 Huang, Tracy Shih-lung 1 Lallemand, Joseph 1 Lanza, Valentina 1 Lefranc, Marc 1 Mohammadi, Zahra 1 Morant, Pierre-Emmanuel 1 Quadrat, Alban 1 Rahmany, Sajjad 1 Regensburger, Georg 1 Reid, Gregory John 1 Sedoglavic, Alexandre 1 Ushirobira, Rosane 1 Zhu, Shousheng Cited in 4 Serials 3 Mathematics in Computer Science 2 Journal of Symbolic Computation 1 Journal of Computational and Applied Mathematics 1 Cogent Mathematics & Statistics all top 5 Cited in 12 Fields 6 Computer science (68-XX) 5 Field theory and polynomials (12-XX) 3 Commutative algebra (13-XX) 2 Integral equations (45-XX) 2 Numerical analysis (65-XX) 2 Biology and other natural sciences (92-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Statistics (62-XX) 1 Systems theory; control (93-XX) Citations by Year