In recent years mathematical software became in indispensible tool in research and applications alike. The purpose of this seminar is to learn about a variety of software systems, their usage and their design. There is a bias toward software in the area of discrete mathematics.

Participants will present one software system, combined with some mathematical background. The target audience of the seminar are students who are familiar with "Algorithmic Discrete Mathematics", "Discrete Geometry" or "Algebra".

There was be a first meeting on April 17. The list of participants is now closed. The next (mandatory) meeting is on Tuesday, May 8, at 10:15 in MA 621. This is when it will be decided who is speaking when. To simplify procedures for everyone, we will organize a "Gruppenanmeldung" for this seminar.

Tuesday, May 8

10:15-11:00

Organizational meeting; opportunity to ask questions

Tuesday, May 22

9:30-10:30

Anna Eckhardt: Singular [Gröbner bases]

10:30-11:30

Sybille Meyer: Sage [symmetric group representations]

Tuesday, May 29

9:30-10:30

Janek Reichardt: GAP [Rubik's cube]

10:30-11:30

Alexander Schlote: GMP [RSA algorithm]

Tuesday, June 12

9:30-10:30

Olivia Röhrig: R

10:30-11:30

Patrik Bey: Octave [Statistical Learning]

Tuesday, June 19

9:30-10:30

Fabian Wegscheider: PPL

10:30-11:30

CANCELLED: Soplex/GMP

Tuesday, July 17

9:30-10:30

CANCELLED: Macaulay 2

10:30-11:30

Nicolas Müller-Dethard: Normaliz

11:30-12:30

Kais Montassar: Matlab [semi-definite programming]

Here is a preliminary list of software systems to be discussed in this seminar.

- FLINT by William Hart
- GAP
- GMP
- Macaulay2 by Dan Grayson and Mike Stillman
- Magma
- Maple
- Mathematica
- MATLAB
- Normaliz by Winfried Bruns, Bogdan Ichim, Richard Sieg and Christof Söger
- Octave
- Parma Polyhedral Library (PPL) by Roberto Bagnara and others
- plantri by Gunnar Brinkmann and Brendan McKay
- R
- Sage
- SCIP
- Singular by Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, Hans Schönemann et al.
- Quickhull by C.B. Barber, D.P. Dobkin, and H.T. Huhdanpaa