| 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 |