Oops, an error occurred! Code: 20251212172402dc67643c

Datenassimilation

Anschrift

Universität Potsdam
Institut für Mathematik
Campus Golm, Haus 9
Karl-Liebknecht-Str. 24-25
D-14476 Potsdam

Aktivitäten

12.12.2025, 12:00 – Campus Golm, Building 9, Room 1.22 and via Zoom
Arbeitsgruppenseminar Analysis

A Pre-tty Pre-amble to Pre-Lie Algebras from Combinatorial Species

Yannic Vargas (CUNEF University Madrid) (online)

We present an introduction to pre-Lie algebras, an algebraic structure closely related to Lie algebras. From a combinatorial perspective, pre-Lie algebras are connected to the notion of insertion of...

mehr erfahren

17.12.2025, 14:00 - 16:00 – Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium

Formalising Mathematics: differential geometry and number theory in the Lean proof assistant

María Inés Frutos Fernández and Michael B. Rothgang (Uni Bonn)

14:00 Michael Rothgang (Uni Bonn): Formalising differential geometry in Lean.
15:00 Tea and Coffee Break
15:30 María Inés de Frutos Fernández (Uni Bonn): Number Theory in the Lean Theorem Prover.

... mehr erfahren

18.12.2025, 16:15 – Raum 1.22
Forschungsseminar Differentialgeometrie

On local boundary conditions for Dirac-type operators

Nadine Große (Freiburg)

We discuss smooth local boundary conditions for Dirac-type operators, giving existence and non-existence results for local self-adjoint boundary conditions and discuss concrete parametrizations of the...

mehr erfahren