Konferenzen  >  Mathematik  >  Computer-gestütztes Beweisen  >  Polen

Wählen Sie ein Land aus
1
School — Condensed mathematics and the liquid tensor experiment
04. Sep 2022 - 10. Sep 2022 • Będlewo, Polen
Veranstalter:
Banach Center
Zusammenfassung:
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.
Eintrags-ID:
1495282
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 01. Juli 2022