Section: Software
AIDA , a Maple package for algebraic invariants and their differential algebra
Participant : Evelyne Hubert [ contact person ] .
http://www-sop.inria.fr/members/Evelyne.Hubert/aida/ .
The Maple AIDA package is a collection of routines to explore algebra of differential invariants: computation of generating sets of invariants, rewritings, syzygies, and their differential analogues. The package builds on the Maple libraries Groebner, Vessiot and diffalg.