Seminar Algebra and Discrete Mathematics

This is the research seminar of the Instiute of Algebra, where we discuss ongoing research activities of ourselves and visitors. Students considering to do a bachelor's or master's or phd thesis at the institute are welcome to participate in the seminar in order to get a flavor of what we are doing. As a JKU student, you can get credits for attending the seminar if you give a talk. If you want to do this, please contact Manuel Kauers in order to discuss possible topics. Even if you don't want to give a talk but only listen to what we are doing, please register for the seminar in KUSSS. (No negative credits will be issued for people dropping out during the semester, or for attendees who don't want to contribute a talk.)

Unless otherwise stated, the seminar takes place on Thursdays, 13.45--15.15 in S2 044.

Schedule

04.10.2018  13:45
Manuel Kauers,
Onsager's solution of the Ising model could have been guessed
S2 044
11.10.2018  13:45
Matteo Gallet,
The number of realizations of a rigid graph on a sphere
S2 044
18.10.2018  13:45
Stephanie Schwaiger,
Using "Larch" and "Waldmeister"
S2 044
18.10.2018  14:15
Paul Kainberger,
Using Group Theory for solving Rubik's Cube
S2 044
18.10.2018  14:45
Erhard Aichinger,
A note on a theorem of Chevalley and Warning
S2 044
25.10.2018  13:45
Thibaut Verron,
Tate algebras and Gröbner bases
S2 044
08.11.2018  13:45
Georg Regensburger,
Elementary and sign vectors of a real subspace and applications to metabolic networks
S2 044
15.11.2018  13:45
Jakob Moosbauer,
Solving Equations over nilpotent rings
S2 044
22.11.2018  13:45
Daniela Kaufmann,
Gate-level Arithmetic Circuit Verification using Gröbner Bases
S2 044
22.11.2018  14:30
Martina Seidl,
Proof Systems for Quantified Boolean Formulas
S2 044
29.11.2018  13:45
Jiayue (Barbara) Qi,
TBA
S2 044
06.12.2018  13:45
Lukas Weigert,
Maximum Clique Problem
S2 044
13.12.2018  13:45
Michela Ceria, University of Milan
DIY for Groebner bases: multivariate Ore extensions and effective rings
S2 044
10.01.2019  13:45
Stefano Fioravanti,
TBA
S2 044
10.01.2019  14:30
Sebastian Kreinecker,
TBA
S2 044
17.01.2019  13:45
Maximilian Jaroschek,
TBA
S2 044
24.01.2019  13:45
Manfred Buchacher,
TBA
S2 044
31.01.2019  13:45
Stefan Immler,
TBA
S2 044