Fokus auf:  Beiträge verstecken
Zurück zur Konferenzansicht
Einloggen

Computeralgebra-Tagung 2023 (GI, DMV, GAMM)

→ Europe/Berlin
F442, F428 (Hannover)

F442, F428

Hannover

Welfengarten 1, 30167 Hannover
Beschreibung

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

 

TitlesAbstracts_CA2023.pdf
  • Mittwoch, 31. Mai
    • 14:00 → 14:05
      Begrüßung 5m F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 14:15 → 15:15
      Applications of Modularity in Arithmetic Geometry and Number Theory 1 h 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.

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

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

      F428
      Sprecher: 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
      Sprecher: Martin Bies
    • 16:30 → 17:00
      Hilbert Functions of Chopped Ideals 30m F442

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

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

      F442
      Sprecher: Ole Ossen
  • Donnerstag, 1. Juni
    • 09:15 → 10:15
      Computational aspects of Calogero-Moser spaces 1 h F442

      F442
      Sprecher: 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
      Sprecher: Viktor Levandovskyy
    • 10:45 → 11:15
      Symbolic computation in free alternative rings 30m F442

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

      F428
      Sprecher: Yannic Rohde
    • 11:25 → 11:55
      XOR-OR-AND-Normalform 30m F442

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

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

      F442, F428

      Hannover

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

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

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

      F428
      Sprecher: 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
      Sprecher: Marcus Aichmayr
    • 16:30 → 17:00
      Computing the Binomial Part of an Ideal 30m F428

      F428
      Sprecher: Florian Walsh
    • 17:10 → 17:40
      Neue Features in Maple 2023 30m F442

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

      F442, F428

      Hannover

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

      F442
      Sprecher: 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 1 h F442

      F442
      Sprecher: Raman Sanyal
Powered by Indico v3.3.4