|
|
| 09:00-10:30 | Opening. Introduction to Gröbner bases and other methods in elimination theory (Bruno Buchberger,
Franz Winkler). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Maple tutorial (Alexander Potapchik). |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Maple tutorial (Alexander Potapchik). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Introduction to basic techniques and software for symbolic summation and integration (Manuel Kauers,
Carsten Schneider). |
| 09:00-10:30 | Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Maple tutorial (Alexander Potapchik). |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Introduction to basic techniques and software for symbolic summation and integration (Manuel Kauers,
Carsten Schneider). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | GAP Tutorial (Erhard Aichinger). |
| 09:00-10:30 | Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Maple tutorial (Alexander Potapchik). |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Introduction to basic techniques and software for symbolic summation and integration (Manuel Kauers,
Carsten Schneider). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | GAP Tutorial (Erhard Aichinger). |
| 09:00-10:30 | Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Maple tutorial (Alexander Potapchik). |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Introduction to basic techniques and software for symbolic summation and integration (Manuel Kauers,
Carsten Schneider). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Singular Tutorial (Viktor Levandovskyy). |
| 09:00-10:30 | Introduction to Gröbner bases and other methods in elimination theory (Franz Winkler). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Maple tutorial (Alexander Potapchik). |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Introduction to basic techniques and software for symbolic summation and integration (Manuel Kauers,
Carsten Schneider). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Singular Tutorial (Viktor Levandovskyy). |
| 09:00-10:30 | Cylindrical algebraic decomposition and its applications. QEPCAD (Chris Brown). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Cylindrical algebraic decomposition and its applications. QEPCAD (Chris Brown). |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Solving and Manipulating Differential Equations with Maple and Mathematica (Georg Regensburger, Markus Rosenkranz). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Magma tutorial (Janka Pilnikova). |
| 09:00-10:30 | Cylindrical algebraic decomposition and its applications. QEPCAD (Chris Brown). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Mathematica tutorial (Wolfgang Windsteiger) |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Solving and Manipulating Differential Equations with Maple and Mathematica (Georg Regensburger, Markus Rosenkranz). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Magma tutorial (Janka Pilnikova). |
| 09:00-10:30 | Cylindrical algebraic decomposition and its applications. QEPCAD (Chris Brown). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Mathematica tutorial (Wolfgang Windsteiger) |
| 12:15-13:30 | Lunch. |
| 13:30-14:30 | Guided tour in Softwarepark and University of Applied Sciences, Hagenberg. |
| 14:30-15:30 | Mathematica tutorial (Wolfgang Windsteiger) |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Solving and Manipulating Differential Equations with Maple and Mathematica (Georg Regensburger, Markus Rosenkranz). |
| 09:00-10:30 | Cylindrical algebraic decomposition and its applications. QEPCAD (Chris Brown). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Mathematica tutorial (Wolfgang Windsteiger) |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Solving and Manipulating Differential Equations with Maple and Mathematica (Elena Kartashova). |
| 15:30-15:45 | Coffee break. |
| 15:45-17:15 | Theorema tutorial (Wolfgang Windsteiger) |
| 20:00 | School dinner (Hotel Arcotel) |
| 09:00-10:30 | Cylindrical algebraic decomposition and its applications. QEPCAD (Chris Brown). |
| 10:30-10:45 | Coffee break. |
| 10:45-12:15 | Mathematica tutorial (Wolfgang Windsteiger) |
| 12:15-14:00 | Lunch. |
| 14:00-15:30 | Solving and Manipulating Differential Equations with Maple and Mathematica (Elena Kartashova). |
|