The diffalg package is a collection of routines to handle systems of polynomial differential equations and inequations. The functionalities include differential elimination, expansion of the solutions into formal power series and analysis of singular solutions. The underlying theory and terminology belongs to differential algebra.
Overview and examples of applications are presented on web pages or as Maple worksheets.
Algebraic Invariants and their Differential Algebras ||http://www.inria.fr/members/Evelyne.Hubert/aida|
|The aida package will be a collection of routines to explore algebra of differential invariants: computation of generating sets of invariants, rewritings, syzygies, and their differential analogues. Some functionalities are already illustraded on classical examples of differential geometry.|