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:00Opening Remarks
10:00 - 11:00Wolfram Decker (University of Kaiserslautern)
OSCAR — A Visionary Computer Algebra System
11:00 - 11:30Coffee Break
11:30 - 12:00Janko Böhm (University of Kaiserslautern)
Massive parallelization and smoothness tests of algebraic varieties
12:00 - 12:30Andreas Steenpaß (University of Kaiserslautern)
Refined algorithms to compute syzygies
12:30 - 13:30Lunch
13:30 - 14:00Marvin Hahn (University of Tübingen)
Constructing faithful tropicalisations of plane quartics using linear modifications
14:00 - 14:30Isabel Stenger (University of Kaiserslautern)
Constructing numerical Godeaux surfaces
14:30 - 15:00Coffee Break
15:00 - 18:00Discussion/Work Session
 slides 
19:00Dinner in town
Tuesday, December 12, 2017
10:00 - 10:30Rebecca Waldecker (Martin Luther University Halle)
Orbital graphs
10:30 - 11:00Martin Helmer (University of Copenhagen)
Computing in intersection theory
11:00 - 11:30Coffee Break
11:30 - 12:00Emre Sertöz (Max Planck Institute for Mathematics in the Sciences)
Computing images of polynomial maps
12:00 - 12:30Thomas Kahle (Otto von Guericke University Magdeburg)
SAT solvers in non-linear algebra
12:30 - 13:30Lunch
13:30 - 14:00Viktor Levandovskyy (RWTH Aachen)
Noncommutative computations with Singular
14:00 - 14:20Paul Breiding (MPI MIS), xxxxSascha Timme (Technische Universität Berlin)
Homotopy Continuation in Julia
14:20 - 16:30Discussion/Work Session
16:30 - 17:00Coffee Break
17:00 - 18:00Reports on some projects
18:00 - 18:15Closing Remarks
19:00Dinner 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 Gutzschebauch
MPI für Mathematik in den Naturwissenschaften
Contact by Email
15.12.2017, 01:27