|
09:15
|
Computational aspects of Calogero-Moser spaces
-
Ulrich Thiel
()
|
10:15
|
--- Kaffeepause ---
|
10:45
|
Computing with modules over non-commutative associative algebras with Singular:Letterplace.
-
Viktor Levandovskyy
()
|
10:45
|
Symbolic computation in free alternative rings
-
Torben Wiedemann
()
|
11:25
|
Finite linear systems - Pisano periods and beyond
-
Yannic Rohde
()
|
11:25
|
XOR-OR-AND-Normalform
-
Julian Danner
()
|
|
09:15
|
Self-dual matroids from canonical curves - computational challenges
-
Alheydis Geiger
()
|
10:15
|
Verleihung des Nachwuchspreises
()
|
10:25
|
--- Kaffeepause ---
|
11:00
|
Algebra, geometry, and combinatorics of inscribed polytopes
-
Raman Sanyal
()
|
|
14:00
|
Begrüßung
(F442, F428)
|
14:05
|
Applications of Modularity in Arithmetic Geometry and Number Theory
-
Timo Keller
()
|
15:15
|
Algorithmic strategies for resolution of determinantal singularities
-
Sabrina Gaube
()
|
15:15
|
The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures
-
Leonard Schmitz
()
|
15:45
|
--- Kaffeepause ---
|
16:30
|
FTheoryTools: String theory applications of OSCAR
-
Martin Bies
()
|
16:30
|
Hilbert Functions of Chopped Ideals
-
Leonie Kayser
()
|
17:10
|
Computing the Center of Fusion Categories in Julia
-
Fabian Mäurer
()
|
17:10
|
Computing the semistable reduction of curves over local fields
-
Ole Ossen
()
|
|
12:05
|
Neues aus der Fachgruppe
()
|
12:20
|
--- Pause ---
|
14:00
|
Smooth cuboids in group theory
-
Mima Stanojkovski
()
|
15:10
|
Automated proofs of operator statements
-
Clemens Hofstadler
()
|
15:10
|
The polar skeleton -- L\^e's vanishing polyhedron made explicit
-
Matthias Zach
()
|
15:40
|
--- Kaffeepause ---
|
16:30
|
Certifying solvability of linear inequality systems using elementary vectors
-
Marcus Aichmayr
()
|
16:30
|
Computing the Binomial Part of an Ideal
-
Florian Walsh
()
|
17:10
|
Neue Features in Maple 2023
-
Thomas Richard
()
|
18:30
|
Conference dinner
(F442, F428)
|
|
|