Séminaires : Structures algébriques ordonnées

Equipe(s) : lm,
Responsables :F. Delon, M. Dickmann, D. Gondard
Email des responsables : dickmann@math.univ-paris-diderot.fr
Salle : 1016
Adresse :Sophie Germain

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

Orateur(s) Tim Netzer - University of Innsbruck,
Titre On non-commutative quantifier elimination in real algebra
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.
AdresseSophie Germain