Ergebnisse filtern Inhaltstyp Alle/Keine auswählen Datei Kollektion Bild Ordner Icon Sprachunabhängiger Ordner Personen-Visitenkarte Personenverzeichnis Tiles-Seite VideourlCT Link Unterseite Fontfamily Studiendatenbank-Metainformationen EasyForm Veranstaltung Basisordner einer Sprache Nachricht Medien-Ordner Template-Ordner Neue Inhalte seit Gestern Letzte Woche Letzter Monat Immer Suchergebnisse 1652 Inhalte gefunden Trefferliste sortieren Relevanz Datum (neueste zuerst) alphabetisch Brigitte Pientka: A Type-Theoretic Framework for Certified Meta-programming Existiert in Video Recordings / Women in Formal Math / YouTube_Video Andrea Kolhase: Insights into Search Interfaces for Mathematicians Existiert in Video Recordings / Women in Formal Math / YouTube_Video Mateja Jamnik: How can we make trustworthy AI Existiert in Video Recordings / Women in Formal Math / YouTube_Video Lucy Horowitz: MathGloss and Beyond Existiert in Video Recordings / Women in Formal Math / YouTube_Video María Inés de Frutos-Fernández: Local fields in Lean Existiert in Video Recordings / Women in Formal Math / YouTube_Video Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types Existiert in Video Recordings / Women in Formal Math / YouTube_Video logic black.jpg Existiert in Pictures Michail Karatarakis: Formalizing Deligne's theorem (Number theory) Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Workgroup 1 - Moderation: Mateja Jamnik and Wenda Li Existiert in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Emily Riehl: Formalizing post-rigorous mathematics Existiert in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video 1 2 3 4 5 6 7 ... 166 Die nächsten 10 Inhalte