There will be two lecture series: one on condensed mathematics, which is a new approach to topology, and one on computer proof assistants. These two strands come together in the computer verification for the main theorem of liquid vector spaces.
Banach Center organise son événement intitulé School — Condensed mathematics and the liquid tensor experiment se tiendra du 04 septembre 2022 au 10 septembre 2022 en Będlewo, Pologne. Il couvre divers domaines de Mathématiques et Statistiques, y compris Geometry and Topology. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier2022-09-042022-09-10Europe/LondonSchool — Condensed mathematics and the liquid tensor experimenthttps://www.sciencedz.net/fr/conference/92371-school-condensed-mathematics-and-the-liquid-tensor-experimentBędlewo - PologneBanach Center
Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.
S'abonner maintenant
Abonnez-vous pour recevoir des alertes de conférence et des nouvelles.
Partager cet événement
Ajouter aux favoris
Copiez le texte ci-dessous et collez-le dans votre code html :