Matroids Matheplanet Forum Index
Moderiert von matroid
Matroids Matheplanet Forum Index » Aktuelles und Interessantes » Perfektoide Räume in Lean
Druckversion
Druckversion
Antworten
Antworten
Autor
Kein bestimmter Bereich Perfektoide Räume in Lean
tactac
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 15.10.2014
Mitteilungen: 1724
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Themenstart: 2019-05-14


Vor ein paar Monaten haben sich Kevin Buzzard und ein paar andere Mathematiker in den Kopf gesetzt, im Beweisassistenten Lean zu definieren, was ein perfektoider Raum ist, zusammen mit der dafür benötigten Infrastruktur (die teilweise auch schon vorhanden war oder von nochmal anderen Leuten parallel entwickelt wurde). Dieses Projekt ist nun zum Abschluss gekommen.
Einen Überblick und Einstieg gibt es hier, mehr Propaganda von Buzzard hier.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
tactac
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 15.10.2014
Mitteilungen: 1724
Zum letzten BeitragZum nächsten BeitragZum vorigen BeitragZum erstem Beitrag  Beitrag No.1, vom Themenstarter, eingetragen 2019-10-30


Und nun gibt's auch ein Paper, das einen Überblick über die Arbeit gibt.



Eine Notiz zu diese Forumbeitrag schreiben Notiz   Profil  Quote  Link auf diesen Beitrag Link
Neues Thema [Neues Thema] Antworten [Antworten]    Druckversion [Druckversion]

 


Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2020 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]