Le calcul formel consiste à faire des manipulations symboliques de formules mathématiques sur ordinateur.

Les membres de l'équipe Calcul Formel (directeur : François Boulier) travaillent principalement sur la manipulation symbolique des systèmes d'équations différentielles (algèbre, géométrie) et sur la modélisation en biologie.

L'équipe calcul formel fait partie d'un groupe de trois équipes de recherche, rattachées à la thématique sciences du vivant. Cette thématique est soutenue par le laboratoire.

Adresse

Université Lille I, LIFL, Bâtiment M3. 59655 Villeneuve d'Ascq, France.