Campus Event Calendar

Event Entry

New for: D2

What and Who

The Importance of Parameters in Logic and Algebra

Volker Weispfenning
University of Passau
MPI Colloquium Series Distinguished Speaker
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, MMCI  
MPI Audience

Date, Time and Location

Thursday, 24 November 2011
60 Minutes
E1 4


Starting from a brief history of decision problems and their solution methods in

algebraic model theory, the talk focuses on quantifier elimination methods and their
theoretical and practical relevance. In 80 years of research this method has progressed
from an esoteric technique in logic to a highly flexible implemented tool with a host
of applications. In contrast to the yes/no answer of a decision method, it provides
testable conditions on the parameters of a whole class of problems -thereby yielding
insight into admissible parameter values, uniformity, stability and closed form
solutions for parametric problems.
Applications include: Geometric theorem proving, optimization and scheduling
problems, modeling and diagnosis in technical networks, parametric integer
problems, parametric differential systems and control theory.


Jennifer Müller
--email hidden
passcode not visible
logged in users only

Jennifer Müller, 10/21/2011 14:36 -- Created document.