Ent?te

• 
• 

1. Recherche

Navigation

Accueil

• Accueil
• Présentation
  • Environnement
    • Structure fonctionnelle
    • Tutelles
    • Partenaires
  • Rapports d'activités
• Recherche
  • Thèmes
  • Actions transversales
  • Plates-formes
  • Équipes
    • ADAM
    • bioComputing
    • Bonsai
    • Calcul Formel
    • COCOA
    • DaRT
    • Dolphin
    • Fox-Miire
    • MAP
    • mint
    • MOSTRARE
    • NOCE
    • 2XS
    • RMoD
    • SequeL
    • Shacra
    • SMAC
• Formation doctorale
  • Le doctorat
    • Thèses en cours
    • Thèses soutenues
    • Sujets proposés
    • Accompagnement
  • HDR
  • Masters
• Publications
  • Rapports d'activité
• Actualités
  • Manifestations
    • Colloquium Polaris
    • Seminaires
    • Colloques
  • Soutenances
    • Thèses
    • HDR
  • Autres
• Recrutement
  • Enseignants-chercheurs
  • Contractuels

Utiles

• Calendrier détaillé
• Contact, Accès
• Annuaire
• Flux RSS

Recherche

Equipe Calcul Formel

Calcul Formel

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

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 :

• http://www.lifl.fr/CALFORME/

Responsable :

• François Boulier (Professeur)

Agenda

• 16 mai 2013

  Colloquium Polaris : 16ème édition

• 20 juin 2013

  Colloquium Polaris : 17ème édition

• 1 - 5 juil. 2013

  Plate-forme de l'Intelligence Artificielle

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