Konferenzen  >  Mathematik  >  Geometrie und Topologie  >  Virtuelle Veranstaltung

Wählen Sie ein Land aus
1
AIM Virtual Workshop: Formalising algebraic geometry
24. Jun 2024 - 28. Jun 2024 • Online (hosted virtually by American Institute of Mathematics, Pasadena, California), Virtuelle Veranstaltung
Veranstalter:
American Institute of Mathematics (AIM)
Zusammenfassung:
This online workshop, sponsored by AIM and the NSF, will be devoted to formalising basic and advanced concepts in algebraic geometry. Algebraic geometry should be interpreted broadly, and could include topics in related areas such as complex differential geometry and arithmetic geometry. Formalising here means translating mathematical ideas into the language of a computer theorem prover; the prover we will use will be Lean. Works such as EGA and the Stacks project are comprehensive human-written sources for modern algebraic geometry, however they are huge and need to be triaged before a comprehensive formalisation can take place.
Themen:
The main topics for the workshop are: Isolation of key formalisable goals in the area; Developing strategies to formalise key definitions and theorems (for example the Riemann-Roch theorem and its generalisations, definitions and basic facts about coherent and etale cohomology, faithfully flat descent, etale fundemantal group ...); Formalising these definitions and theorems, and PRing the work to Lean's mathematics libary; Development of a blueprint for future progress in the area.
Eintrags-ID:
1598160
Verwandte Fachgebiete:


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Kein Tracking | Keine Pop-ups | Keine Animationen
Stand vom 3. Januar 2024