Quantifier Elimination

Organizers

Description

Recently, quantifier elimination algorithms have seen many applications, and there have been new development in quantifier elimination algorithms for special classes of problems.

Talks

Date: July 19th (Friday)
14:00-14:20
Andreas Dolzmann, Thomas Sturm
REDLOG -- Computer Algebra Meets Computer Logic
Abstract
14:20-14:40
Volker Weispfenning
Quantifier Elimination Applied in Simulation and Scheduling
Abstract
14:40-15:00
Emma-Neila Gonzalez-Campos, Laureano Gonzalez-Vega
Global projection operators for the Cylindrical Algebraic Decomposition algorithm
Abstract
15:00-15:20
Chris Brown, George Collins
Simple Solution Formula Construction from Truth Invariant CADs
Abstract

15:20-15:50
Coffee Break


15:50-16:10
Mats Jirstrand
Some Applications of Quantifier Elimination in Nonlinear Control Theory
Abstract
16:10-16:30
Ying Jiangqian
On the Determination of the Strong Stabilizability of an n-Dimensional Linear System
Abstract
16:30-16:50
H. Hong, A. Neubacher
Approximate Quantifier Elimination
Abstract
16:50-17:10
R. Liska, S. Steinberg
The Stability of Boundary Conditions
Abstract
17:10-17:30
H. Hong, R. Liska, S. Steinberg
Discussion and Comments by the Organizers and Participants.
The organizers will make some summary comments and then begin a discussion session.

________________________________________________________

Previous page RISC SWP Linz Austria