Computeralgebra-Tagung 2023 (GI, DMV, GAMM)
von
Mittwoch, 31. Mai 2023(12:00)
bis
Freitag, 2. Juni 2023(14:00)
Montag, 29. Mai 2023
¶
Dienstag, 30. Mai 2023
¶
Mittwoch, 31. Mai 2023
¶
14:00
Begrüßung
Begrüßung
14:00 - 14:05
Room: F442, F428
14:15
Applications of Modularity in Arithmetic Geometry and Number Theory
-
Timo Keller
Applications of Modularity in Arithmetic Geometry and Number Theory
Timo Keller
14:15 - 15:15
Modular forms are connected to several areas of arithmetic geometry and number theory, for example through the Langlands program. They have the useful property that they are amenable to computations. We give an introduction to the theory of classical modular forms, their relation to elliptic curves and abelian varieties and the Galois representations attached to them, as well as how to perform computations with them. As an application we (1) show how Hilbert modular forms can be used to solve new cases of the inverse Galois problem and (2) indicate how (a) Hilbert and (b) Siegel modular forms can be used to establish (a) strong BSD over totally real fields and (b) the BSD rank conjecture in infinitely many generic cases in dimension 2 over the rationals, respectively.
15:15
Algorithmic strategies for resolution of determinantal singularities
-
Sabrina Gaube
Algorithmic strategies for resolution of determinantal singularities
Sabrina Gaube
15:15 - 15:45
The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures
-
Leonard Schmitz
The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures
Leonard Schmitz
15:15 - 15:45
15:45
Kaffeepause
Kaffeepause
15:45 - 16:30
Room: F442, F428
16:30
FTheoryTools: String theory applications of OSCAR
-
Martin Bies
FTheoryTools: String theory applications of OSCAR
Martin Bies
16:30 - 17:00
Hilbert Functions of Chopped Ideals
-
Leonie Kayser
Hilbert Functions of Chopped Ideals
Leonie Kayser
16:30 - 17:00
17:10
Computing the Center of Fusion Categories in Julia
-
Fabian Mäurer
Computing the Center of Fusion Categories in Julia
Fabian Mäurer
17:10 - 17:40
Computing the semistable reduction of curves over local fields
-
Ole Ossen
Computing the semistable reduction of curves over local fields
Ole Ossen
17:10 - 17:40
Donnerstag, 1. Juni 2023
¶
09:15
Computational aspects of Calogero-Moser spaces
-
Ulrich Thiel
Computational aspects of Calogero-Moser spaces
Ulrich Thiel
09:15 - 10:15
10:15
Kaffeepause
Kaffeepause
10:15 - 10:45
Room: F442, F428
10:45
Computing with modules over non-commutative associative algebras with Singular:Letterplace.
-
Viktor Levandovskyy
Computing with modules over non-commutative associative algebras with Singular:Letterplace.
Viktor Levandovskyy
10:45 - 11:15
Symbolic computation in free alternative rings
-
Torben Wiedemann
Symbolic computation in free alternative rings
Torben Wiedemann
10:45 - 11:15
11:25
Finite linear systems - Pisano periods and beyond
-
Yannic Rohde
Finite linear systems - Pisano periods and beyond
Yannic Rohde
11:25 - 11:55
XOR-OR-AND-Normalform
-
Julian Danner
XOR-OR-AND-Normalform
Julian Danner
11:25 - 11:55
12:05
Neues aus der Fachgruppe
Neues aus der Fachgruppe
12:05 - 12:20
12:20
Pause
Pause
12:20 - 14:00
Room: F442, F428
14:00
Smooth cuboids in group theory
-
Mima Stanojkovski
Smooth cuboids in group theory
Mima Stanojkovski
14:00 - 15:00
15:10
Automated proofs of operator statements
-
Clemens Hofstadler
Automated proofs of operator statements
Clemens Hofstadler
15:10 - 15:40
The polar skeleton -- L\^e's vanishing polyhedron made explicit
-
Matthias Zach
The polar skeleton -- L\^e's vanishing polyhedron made explicit
Matthias Zach
15:10 - 15:40
15:40
Kaffeepause
Kaffeepause
15:40 - 16:30
Room: F442, F428
16:30
Certifying solvability of linear inequality systems using elementary vectors
-
Marcus Aichmayr
Certifying solvability of linear inequality systems using elementary vectors
Marcus Aichmayr
16:30 - 17:00
Computing the Binomial Part of an Ideal
-
Florian Walsh
Computing the Binomial Part of an Ideal
Florian Walsh
16:30 - 17:00
17:10
Neue Features in Maple 2023
-
Thomas Richard
Neue Features in Maple 2023
Thomas Richard
17:10 - 17:40
18:30
Conference dinner
Conference dinner
18:30 - 19:00
Room: F442, F428
Freitag, 2. Juni 2023
¶
09:15
Self-dual matroids from canonical curves - computational challenges
-
Alheydis Geiger
Self-dual matroids from canonical curves - computational challenges
Alheydis Geiger
09:15 - 10:15
10:15
Verleihung des Nachwuchspreises
Verleihung des Nachwuchspreises
10:15 - 10:25
10:25
Kaffeepause
Kaffeepause
10:25 - 11:00
Room: F442, F428
11:00
Algebra, geometry, and combinatorics of inscribed polytopes
-
Raman Sanyal
Algebra, geometry, and combinatorics of inscribed polytopes
Raman Sanyal
11:00 - 12:00