

Open Source Computer Algebra Research (OSCAR)
Program
All talks will be held in Leibniz-Saal (E1 05),
Max Planck Institute for Mathematics in the Sciences (Leipzig, Inselstraße 22).
Monday, December 11, 2017 | ||
---|---|---|
09:45 - 10:00 | Opening Remarks | |
10:00 - 11:00 | Wolfram Decker (University of Kaiserslautern) OSCAR — A Visionary Computer Algebra System | |
11:00 - 11:30 | Coffee Break | |
11:30 - 12:00 | Janko Böhm (University of Kaiserslautern) Massive parallelization and smoothness tests of algebraic varieties | |
12:00 - 12:30 | Andreas Steenpaß (University of Kaiserslautern) Refined algorithms to compute syzygies | |
12:30 - 13:30 | Lunch | |
13:30 - 14:00 | Marvin Hahn (University of Tübingen) Constructing faithful tropicalisations of plane quartics using linear modifications | |
14:00 - 14:30 | Isabel Stenger (University of Kaiserslautern) Constructing numerical Godeaux surfaces | |
14:30 - 15:00 | Coffee Break | |
15:00 - 18:00 | Discussion/Work Session | |
19:00 | Dinner in town | |
Tuesday, December 12, 2017 | ||
10:00 - 10:30 | Rebecca Waldecker (Martin Luther University Halle) Orbital graphs | |
10:30 - 11:00 | Martin Helmer (University of Copenhagen) Computing in intersection theory | |
11:00 - 11:30 | Coffee Break | |
11:30 - 12:00 | Emre Sertöz (Max Planck Institute for Mathematics in the Sciences) Computing images of polynomial maps | |
12:00 - 12:30 | Thomas Kahle (Otto von Guericke University Magdeburg) SAT solvers in non-linear algebra | |
12:30 - 13:30 | Lunch | |
13:30 - 14:00 | Viktor Levandovskyy (RWTH Aachen) Noncommutative computations with Singular | |
14:00 - 14:20 | Paul Breiding (MPI MIS), xxxxSascha Timme (Technische Universität Berlin) Homotopy Continuation in Julia | |
14:20 - 16:30 | Discussion/Work Session | |
16:30 - 17:00 | Coffee Break | |
17:00 - 18:00 | Reports on some projects | |
18:00 - 18:15 | Closing Remarks | |
19:00 | Dinner in town |
Date and Location
December 11 - 12, 2017
Max Planck Institute for Mathematics in the Sciences
Inselstraße 22
04103 Leipzig
Germany
see travel instructions
Scientific Organizers
Yue Ren
MPI for Mathematics in the Sciences
Bill Hart
Technische Universität Kaiserslautern
Administrative Contact
Saskia GutzschebauchMPI für Mathematik in den Naturwissenschaften
Contact by Email