Ent?te

Logo du LIFL

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

  1. Actualités

Séminaire de

Marc Moreno Maza

19 mai 2011
Amphi Turing, Bât M3

Calcul parallèle exacte des solutions réelles de systèmes algébriques

Obtenir une description exacte et complète des solutions réelles d'un système d'équations algébriques est un problème fondamental avec de nombreuses applications. C'est cependant un défi pour l'informaticien, combinant des difficultés tant théoriques que pratiques.

Dans cet exposé nous présenterons des avancées algorithmiques sur le sujet, avec une mise en oeuvre sur processeurs multicoeur et unités de traitement graphique. Nous illustrerons ces résultats à l'aide d'exemples
provenant de la vérification de programmes et de l'étude de systèmes dynamiques.

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