An dieser Stelle finden Sie einen Überblick über Veranstaltungen, Vortragsreihen, Workshops, Fachseminare, kulturelle Begegnungen und vielem mehr. Das Institut für Mathematik lädt alle Studierenden, Lehrenden und Interessierte herzlich zur Teilnahme ein.
Christoph Stephan (Potsdam)
At this first meeting, we will outline our plans for the AI Research Seminar, including the formalization of the Atiyah–Singer Index Theorem in Lean, technical support and training for colleagues, and...
mehr erfahrenChristian Rose
Gaussian Upper Heat Kernel Bounds on Graphs with Unbounded Geometry
Einstein observed that particles move in a medium the same way as heat conducts. Heat conduction is modelled by the heat equation in...
mehr erfahrenFrancesca Bertoglio and Toky Andriamanalina
This meeting will be an opportunity for us, the organisers, to introduce ourselves and talk you through what to expect in the seminar series during the semester, and an opportunity for you to ask...
mehr erfahrenSwati Govinda Rajan (Potsdam)
A fundamental area of research in Riemannian geometry is to determine the homotopy type of the space of metrics inducing negative scalar curvature. In his 1992 paper, Lohkamp proved that the space of...
mehr erfahrenChristoph Stephan
We will discuss which version of the Atiyah–Singer Index Theorem to formalize, suitable literature, and how to set up a GitHub repository with a Lean Blueprint. We will also review existing...
mehr erfahrenLuz Roncal (Bilbao, Spain)
Abstract: Solutions of many differential equations are remarkably rigid: knowing that a solution vanishes in a small region may force it to vanish everywhere. A related question asks whether a...
mehr erfahrenPierre Catoire (Mulhouse)
In order to study the zeta function, L. Euler introduced in 1775 Multiple Zeta Values (MZVs)
as a generalization defined for words on non-zero integers. Since then, those functions appeared
in many...
Christoph Stephan, Max Zahoransky von Worlik
TBA
mehr erfahrenRobin Armstrong (UP)
Lu Hat (Bielefeld)
Abstract: Classical parabolicity of a weighted graph is equivalent to recurrence of its random walk, the infiniteness of the Green function, or, equivalently, to any nonnegative superharmonic function...
mehr erfahrenRudolf Zeidler (Potsdam)
Josie König (UP)
Santiago Gómez Cobos (Universidad Los Andes, Bogotá and Leibniz Universität, Hannover)
T.B.A.
mehr erfahrenChristoph Wernhard (Potsdam)
Ausgehend von einem sehr einfachen formalen Beweissystem, Condensed Detachment (CD), oder Modus Ponens mit Unifikation, betrachten wir praktische Anwendungsmöglichkeiten von Beweisstrukturen.
CD ging...
mehr erfahren
