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.
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 14:30 | Daniela Kaufmann,
Gate-level Arithmetic Circuit Verification using Gröbner Bases
|
S2 044 |
22.11.2018 13:45 | Martina Seidl,
Proof Systems for Quantified Boolean Formulas
|
S2 044 |
29.11.2018 13:45 | Jiayue (Barbara) Qi,
Group-theoretical method for matrix multiplication
|
S2 044 |
06.12.2018 14:30 | Guenter Pilz,
Block designs and their use in statistics and medicine
|
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,
Solving equations and checking identities in finite groups
|
S2 044 |
10.01.2019 14:30 | Sebastian Kreinecker,
Essential arities of finitary operations
|
S2 044 |
17.01.2019 13:45 | Maximilian Jaroschek,
Counting Lonely Lattice Points
|
S2 044 |
24.01.2019 13:45 | Manfred Buchacher,
Inhomogeneous restricted lattice walks
|
S2 044 |
31.01.2019 13:45 | Thomas Cluzeau, University of Limoges
Equivalence of linear systems and applications to stability issues for multidimensional systems
|
S2 044 |