New for: D2
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.