Ent?te

Logo du LIFL

Depuis le 1er janvier 2015 le LIFL et le LAGIS forment le laboratoire CRIStAL

  1. Recherche

Recherche

Équipe Calcul Formel

Calcul Formel

Présentation / Membres / Thèses / Publications / Publications SmartHal

Le calcul formel consiste à faire des manipulations symboliques de formules mathématiques sur ordinateur. Les membres de l'équipe travaillent principalement sur les équations différentielles (algèbre, géométrie), l'algèbre non commutative et la cryptographie. L'équipe s'investit depuis plusieurs années dans le domaine de la modélisation en biologie.

 

Site web :

Responsable :

Ours

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.

Pour tout commentaire / Comments and remarks : webmaster