Our main domain is, in computer algebra, the symbolic manipulation of systems of differential equations. The main application point of our methods is the modeling in biology.