Computer algebra consists in performing symbolic manipulations of formulas on computers.
The members of the group (Head: François Boulier) mainly work on the symbolic manipulation of systems differential equations (algebra, geometry) and in biological modeling. We recently organized
- the international workshop DART V in June 2013, with Jean-Claude Yakoubsohn and François Ollivier.
- a séminaire Dagstuhl in november 2012, with Andreas Weber, Anne Shiu and Thomas Sturm.
Université Lille I, LIFL, Bâtiment M3. 59655 Villeneuve d'Ascq, France.