06.10.2022 13:45 | Manuel Kauers,
A follow-up on Günter's talk
|
S2 048 |
13.10.2022 13:45 | Erhard Aichinger and Simon Grünbacher,
Hardness of checking quasi-identities
|
S2 048 |
20.10.2022 13:45 | Matthew England, University of Coventry
Cylindrical Algebraic Coverings: An SC-Square Success Story
|
Zoom |
27.10.2022 13:45 | Krishnendu Bhowmick,
Flag algebra
|
S2 048 |
03.11.2022 13:45 | Oliver Roche-Newton,
Counting arcs in the finite field plane
|
S2 048 |
10.11.2022 13:45 | Jakob Moosbauer,
Flip Graphs for Matrix Multiplication
|
S2 048 |
17.11.2022 13:45 | Yurii Zhuchok,
On some correspondences of endomorphism semigroups
|
S2 048 |
24.11.2022 13:45 | Thibaut Verron,
Computing Gröbner bases for structured systems
|
S2 048 |
01.12.2022 13:45 | Clemens Hofstadler,
Universal truth of operator statements via ideal membership
|
S2 048 |
15.12.2022 09:00 | Yilmaz Bilgi,
Generative Adversarial Networks (GANs) for Synthetic Time Series Data Generation
|
S3 047 |
15.12.2022 13:45 | Bernardo Rossi,
Polymorphisms and complexity theory
|
S2 048 |
12.01.2023 13:45 | Jakob Fromherz,
GCDs for Polynomial Matrices
|
S2 048 |
12.01.2023 14:30 | Maximilian Donnermair,
The Method of Four Russians
|
S2 048 |
19.01.2023 13:45 | Ronald Kamleitner,
The Complexity of Euclid's Algorithm
|
S2 048 |
19.01.2023 14:30 | Philipp Nuspl,
Order bounds for closure properties of C^2-finite sequences
|
S2 048 |
26.01.2023 13:45 | Lixin Du,
Hermite reduction for D-finite functions via integral bases
|
S2 048 |