| 11.03.2021 13:45 | Manuel Kauers,
Lazy Hermite Reduction
|
ZOOM |
| 18.03.2021 13:45 | Bastian Preindl, U Graz
Regular Expressions in Action
|
ZOOM |
| 25.03.2021 13:45 | Joël Ouaknine, Max Planck Institute Saarbruecken
Holonomic Techniques, Periods, and Decision Problems
|
ZOOM |
| 15.04.2021 13:45 | Hao Du,
Two Complete Reduction Systems for Integration
|
ZOOM |
| 15.04.2021 14:30 | Thibaut Verron,
FGLM algorithm for Tate ideals
|
ZOOM |
| 22.04.2021 13:45 | Jakob Moosbauer,
Patching together matrix multiplication schemes
|
ZOOM |
| 29.04.2021 13:45 | Bernardo Rossi,
Solution sets of universal algebraic equations
|
ZOOM |
| 06.05.2021 13:45 | Shaoshi Chen,
Separability Problems in Creative Telescoping
|
ZOOM |
| 06.05.2021 14:30 | Phillip Nuspl,
Generalizing C-finite sequences
|
ZOOM |
| 20.05.2021 13:45 | David Stinner,
Algebraic Geometry over algebraic structures and Unification theorems
|
ZOOM |
| 20.05.2021 14:30 | Evans Doe Ocansey,
Difference ring algorithm for nested products
|
ZOOM |
| 27.05.2021 13:45 | Manuel Kauers,
Cylindrical Algebraic Decomposition
|
ZOOM |
| 27.05.2021 14:30 | Sara Moosbauer,
How to Solve Monthly Problems with the Computer
|
ZOOM |
| 10.06.2021 13:45 | Clemens Hofstadler,
Solving QBFs with AlphaZero
|
ZOOM |
| 17.06.2021 13:45 | Elaine Wong, RICAM
Binomial Determinants for Tiling Problems Yield to the Holonomic Ansatz
|
ZOOM |
| 24.06.2021 13:45 | Georg Regensburger,
Positive solutions of generalized polynomial systems with real exponents and chemical reaction networks
|
ZOOM |