Focus on:  Hide Contributions
Back to Conference View
Login

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

 

TitlesAbstracts_CA2023.pdf
Registration
Anmeldung zur Computeralgebra-Tagung 2023
Register
  • Wednesday, May 31
    • 1
      Begrüßung F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 2
      Applications of Modularity in Arithmetic Geometry and Number Theory 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
    • 3
      Algorithmic strategies for resolution of determinantal singularities F442

      F442
      Speaker: Sabrina Gaube
    • 4
      The barycenter in free nilpotent Lie groups and its application to iterated-integrals signatures F428

      F428
      Speaker: Leonard Schmitz
    • 3:45 PM
      Kaffeepause F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 5
      FTheoryTools: String theory applications of OSCAR F428

      F428
      Speaker: Martin Bies
    • 6
      Hilbert Functions of Chopped Ideals F442

      F442
      Speaker: Leonie Kayser
    • 7
      Computing the Center of Fusion Categories in Julia F428

      F428
      Speaker: Fabian Mäurer
    • 8
      Computing the semistable reduction of curves over local fields F442

      F442
      Speaker: Ole Ossen
  • Thursday, June 1
    • 9
      Computational aspects of Calogero-Moser spaces F442

      F442
      Speaker: Ulrich Thiel
    • 10:15 AM
      Kaffeepause F442, F428

      F442, F428

      Hannover

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

      F428
      Speaker: Viktor Levandovskyy
    • 11
      Symbolic computation in free alternative rings F442

      F442
      Speaker: Torben Wiedemann
    • 12
      Finite linear systems - Pisano periods and beyond F428

      F428
      Speaker: Yannic Rohde
    • 13
      XOR-OR-AND-Normalform F442

      F442
      Speaker: Julian Danner
    • 14
      Neues aus der Fachgruppe F442

      F442
    • 12:20 PM
      Pause F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 15
      Smooth cuboids in group theory F442

      F442
      Speaker: Mima Stanojkovski
    • 16
      Automated proofs of operator statements F442

      F442
      Speaker: Clemens Hofstadler
    • 17
      The polar skeleton -- L\^e's vanishing polyhedron made explicit F428

      F428
      Speaker: Matthias Zach
    • 3:40 PM
      Kaffeepause F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 18
      Certifying solvability of linear inequality systems using elementary vectors F442

      F442
      Speaker: Marcus Aichmayr
    • 19
      Computing the Binomial Part of an Ideal F428

      F428
      Speaker: Florian Walsh
    • 20
      Neue Features in Maple 2023 F442

      F442
      Speaker: Thomas Richard
    • 21
      Conference dinner F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
  • Friday, June 2
    • 22
      Self-dual matroids from canonical curves - computational challenges F442

      F442
      Speaker: Alheydis Geiger
    • 23
      Verleihung des Nachwuchspreises F442

      F442
    • 10:25 AM
      Kaffeepause F442, F428

      F442, F428

      Hannover

      Welfengarten 1, 30167 Hannover
    • 24
      Algebra, geometry, and combinatorics of inscribed polytopes F442

      F442
      Speaker: Raman Sanyal
Powered by Indico v3.3.4