Computeralgebra-Tagung 2023

Europe/Berlin
F442, F428 (Hannover)

F442, F428

Hannover

Welfengarten 1, 30167 Hannover
Description

Die 10. Computeralgebra-Tagung der Fachgruppe findet vom 31. Mai bis 2. Juni 2023 an der Fakultät für Mathematik und Physik der Leibniz Universität Hannover statt. Die Organisatoren sind Prof. Anne Frühbis-Krüger und Prof. Michael Cuntz.

Nachwuchspreis: Am Abschlusstag wird ein mit 500 € dotierter Preis für den besten Nachwuchs-Vortrag verliehen. Verbunden mit dem Geldpreis ist die Einladung, auf der nächsten Tagung der Fachgruppe einen Hauptvortrag zu halten.

Eingeladene Hauptvortragende:

  • Timo Keller
  • Marta Panizzut
  • Raman Sanyal
  • Mima Stanojkovski
  • Ulrich Thiel
     

 

Kaffeepausen finden in A410 statt.

 

Program

Titles and abstracts

 


Reisekostenbeihilfe:

Die Fachgruppe Computeralgebra kann in begrenztem Umfang Mittel als Reisekostenbeihilfe zur Verfügung stellen. Bewerbungen auf Reisekostenbeihilfe mit einem erklärenden Anschreiben, einer Referenzperson sowie einer Aufstellung der benötigten Mittel bitten wir einzureichen.
 


 

Empfehlungen für Hotels:

- Cityhotel am Thielenplatz, Thielenplatz 2, 30159 Hannover
- Savoy Hotel Hannover, Schlosswender Str. 10 - D-30159 Hannover 
- Cityhotel Hannover, Limburgstr. 3, 30159 Hannover
- Designhotel Wiegand, Lange Laube 20, Hannover 30159
- Hotel am Herrenhäuser Garten, Herrenhäuser Kirchweg 17, 30167 Hannover

 

Registration
Anmeldung zur Computeralgebra-Tagung 2023
    • 14:00 14:05
      Begrüßung 5m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 14:05 15:05
      Applications of Modularity in Arithmetic Geometry and Number Theory 1h F442

      F442

      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.

      Speaker: Timo Keller
    • 15:15 15:45
      Algorithmic strategies for resolution of determinantal singularities 30m F442

      F442

      Speaker: Sabrina Gaube
    • 15:15 15:45
      The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures 30m F428

      F428

      Speaker: Leonard Schmitz
    • 15:45 16:30
      Kaffeepause 45m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 16:30 17:00
      FTheoryTools: String theory applications of OSCAR 30m F428

      F428

      Speaker: Martin Bies
    • 16:30 17:00
      Hilbert Functions of Chopped Ideals 30m F442

      F442

      Speaker: Leonie Kayser
    • 17:10 17:40
      Computing the Center of Fusion Categories in Julia 30m F428

      F428

      Speaker: Fabian Mäurer
    • 17:10 17:40
      Computing the semistable reduction of curves over local fields 30m F442

      F442

      Speaker: Ole Ossen
    • 09:15 10:15
      Computational aspects of Calogero-Moser spaces 1h F442

      F442

      Speaker: Ulrich Thiel
    • 10:15 10:45
      Kaffeepause 30m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 10:45 11:15
      Computing with modules over non-commutative associative algebras with Singular:Letterplace. 30m F428

      F428

      Speaker: Viktor Levandovskyy
    • 10:45 11:15
      Symbolic computation in free alternative rings 30m F442

      F442

      Speaker: Torben Wiedemann
    • 11:25 11:55
      Finite linear systems - Pisano periods and beyond 30m F428

      F428

      Speaker: Yannic Rohde
    • 11:25 11:55
      XOR-OR-AND-Normalform 30m F442

      F442

      Speaker: Julian Danner
    • 12:05 12:20
      Neues aus der Fachgruppe 15m F442

      F442

    • 12:20 14:00
      Pause 1h 40m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 14:00 15:00
      Smooth cuboids in group theory 1h F442

      F442

      Speaker: Mima Stanojkovski
    • 15:10 15:40
      Automated proofs of operator statements 30m F442

      F442

      Speaker: Clemens Hofstadler
    • 15:10 15:40
      The polar skeleton -- L\^e's vanishing polyhedron made explicit 30m F428

      F428

      Speaker: Matthias Zach
    • 15:40 16:30
      Kaffeepause 50m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 16:30 17:00
      Certifying solvability of linear inequality systems using elementary vectors 30m F442

      F442

      Speaker: Marcus Aichmayr
    • 16:30 17:00
      Computing the Binomial Part of an Ideal 30m F428

      F428

      Speaker: Florian Walsh
    • 17:10 17:40
      Neue Features in Maple 2023 30m F442

      F442

      Speaker: Thomas Richard
    • 18:30 19:00
      Conference dinner 30m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 09:15 10:15
      Self-dual matroids from canonical curves - computational challenges 1h F442

      F442

      Speaker: Alheydis Geiger
    • 10:15 10:25
      Verleihung des Nachwuchspreises 10m F442

      F442

    • 10:25 11:00
      Kaffeepause 35m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 11:00 12:00
      Algebra, geometry, and combinatorics of inscribed polytopes 1h F442

      F442

      Speaker: Raman Sanyal