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

English

Séminaire Modèles et Algorithmes Déterministes: CASYS

10/05/2011 - 10:30 Marc Moreno Maza (Université de Western Ontario, Canada) Salle 2 - Tour IRMA

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.