Entdecken Sie, wie Fortschritte in der Informatik und in den digitalen Wissenschaften unser Verständnis der Mathematik prägen. Ein fesselnder Kurs mit Thierry Coquand.
Colloque - Formalisation des mathématiques et types dépendants - Denis-Charles Cisinski : La logique des catégories supérieures
44 mins • Jun 2, 2025
Charts
- 49NEW
- 43NEW
- 20NEW
- 104NEW
- 55Decreased by 7
Neueste Folgen

Jun 2, 2025
Colloque - Formalisation des mathématiques et types dépendants - Denis-Charles Cisinski : La logique des catégories supérieures
44 mins

Jun 2, 2025
Colloque - Formalisation des mathématiques et types dépendants - Riccardo Brasca : Progrès récents dans la formalisation de la théorie des nombres
47 mins

Jun 2, 2025
Colloque - Formalisation des mathématiques et types dépendants - Pierre-Marie Pédrot : Pour s'asseoir sur les fondations
47 mins

Jun 2, 2025
Colloque - Formalisation des mathématiques et types dépendants - Assia Mahboubi : Preuves formelles mutatis mutandis
50 mins

Jun 2, 2025
Colloque - Formalisation des mathématiques et types dépendants - Antoine Chambert-Loir : Sur la formalisation des puissances divisées
45 mins

Sprache
Französisch
Land
Frankreich
Website
Feed
Aktualisierung anfordern
Aktualisierungen können einige Minuten dauern.