Conférences  >  Mathématiques  >  Algèbre  >  Virtuel (en ligne)

Sélecionner un pays
1
AIM Virtual Workshop: Formalising algebraic geometry
24 jui 2024 - 28 jui 2024 • Online (hosted virtually by American Institute of Mathematics, Pasadena, California), Virtuel (en ligne)
Organisateur:
American Institute of Mathematics (AIM)
Résumé:
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.
Sujets:
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.
Identifiant de l'évènement:
1598193
Sujets apparentés:


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 3 janvier 2024