Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:The ‘doubly-exponential’ problem in equation/inequality solving
Speaker:James Davenport
coming from:University of Bath
Speakers Bio:
Event Type:Talk
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Monday, 23 January 2017
Time:11:00
Duration:60 Minutes
Location:Saarbrücken
Building:E1 5
Room:002
Abstract
It is well-known that the degrees of Gr\”obner Bases are doubly exponential in the number of variables [MayrMeyer1982]. Similarly, real quantifier elimination can be doubly exponential in the number of variables [DavenportHeintz1988]. Recent results show that Gr\”obner bases are only doubly exponential in the dimension, not the actual number of variables. In joint with with Matthew England, we have shown that the double exponent in real quantifier elimination can be reduced by the number of equations, provided that the equations (and their iterated resultants) are content-free. We will explain these results, and why the proviso is necessary. We will also introduce the algorithm LazyRealTriangularize [Chen et al., 2013a], which in practice seems to have good behaviour, though there is no theoretical analysis.
Contact
Name(s):Jennifer Müller
Phone:2900
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created by:Jennifer Müller/MPI-INF, 01/20/2017 08:21 AMLast modified by:Uwe Brahm/MPII/DE, 01/23/2017 07:00 AM
  • Jennifer Müller, 01/20/2017 08:24 AM -- Created document.