Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard, T. Servi
Email des responsables :
Salle : 1016
Adresse :Sophie Germain
Description


Mardi de 14h00 à 15h45
Page du séminaire et programmeRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Tim Netzer - University of Innsbruck,
Titre On non-commutative quantifier elimination in real algebra
Date30/05/2017
Horaire14:15 à 16:00
RésumeQuantifier elimination is a strong and useful tool in classical (commutative) real algebra and geometry. Non-commutative real algebra and geometry is a recently emerging area of research, with many interesting applications in pure and applied mathematics. Quantifier elimination would be a highly desirable tool here as well. There are some results in that direction, mostly negative. We will give a survey on this question, presenting some new results, among which is also a first positive one.
Salle1016
AdresseSophie Germain
© IMJ-PRG