IMJ-PRG

mardi 30 mai 2017

Thomas Haettel - Université de Montpellier


Séminaire d’Analyse et Géométrie

Rigidité hyperbolique des réseaux de rang supérieur

mardi 30 mai 2017 à 14:00
Barre 15-25, 5ème étage, salle 02,

Résumé

Tim Netzer - University of Innsbruck


Structures algébriques ordonnées

On non-commutative quantifier elimination in real algebra

mardi 30 mai 2017 à 14:15
Résumé