Conference Agenda
The sessions of the sections are highlighted in blue, those of the mini-symposia in yellow.
Please select a date or location to show only sessions at that day or location. If you click the selected day again, you return to the agenda overview.
You can also filter by sections or mini-symposia (topics). Please select a single session for detailed view with abstracts.
As participant you can create your own personal agenda. To do so, log into your account first. Then go to the agenda and click on the plus symbol to add sessions to your personal agenda.
|
Daily Overview |
| Session | |
|
RAG3: Real Algebraic Geometry Location: M629 Session Chair: Daniel Plaumann Session Chair: Claus Scheiderer | |
    | |
Quantifier Elimination Using Invariants University of Innsbruck, Austria We discuss quantifier elimination in a natural language extension for finite-dimensional algebras over real closed and algebraically closed fields. The first part concerns constructive quantifier elimination for matrix rings via reduction to the underlying field. The second part generalizes the invariant theoretic methods from the first part to obtain quantifier elimination results for more general finite-dimensional algebras, including quaternions, and octonions. The emphasis is on explicit elimination procedures and the encoding of definable sets via separation of orbits under the automorphism group. | |
