Quantifier Elimination

Organizers

S. Steinberg (stanly@math.unm.edu)
University of New Mexico
Department of Mathematics and Statistics
Albuquerque NM87131
USA
H. Hong (Hoon.Hong@risc.uni-linz.ac.at)
RISC-Linz
Schloß Hagenberg
A-4232 Hagenberg
Austria/Europe
Tel: +43 7236 3231 48
Fax: +43 7236 3231 30
R. Liska (liska@siduri.fjfi.cvut.cz)
Czech Technical University
Brehova 7, 115 19 Prague 1
Czech Republic
Tel: (+42-2) 8576 2272
Fax: (+42-2) 688 4818

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.

________________________________________________________