Search results You are only searching within this website. To find search results for other University of Bonn websites, such as those of the faculties or institutes, please use a search engine. 2480 items matching your search terms. Filter the results Item type Select All/None Medien-Ordner Language Independent Folder Study database metainformation Fontfamily Link Template-Folder Person Business Card VideourlCT EasyForm Event Folder Person Register File Collection Subsite News Tiles-Seite Language Root Folder Image Icon New items since Yesterday Last week Last month Ever Sort by relevance date (newest first) alphabetically Welcome Bonn is an internationally renowned center for mathematical research and teaching. The Hausdorff Center for Mathematics (HCM), established in 2006 as the first ... Wenda Li: Autoformalisation: Bridging the Gap between Informal and Formal Proofs Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Wieslawa Niziol: Hidden structures on de Rham cohomology of p-adic analytic varieties Located in Video Recordings / Follow_UP_WS_Number_Theory_Video / YouTube_Video WiFM1.jpg Located in Pictures William Farmer: An Alternative Approach to Formal Mathematics that Prioritizes Communication over Certification Located in Video Recordings / TP_2024_02_WS_1_Video / YouTube_Video Williamson-Stroppel.jpg Mathematician Geordie Williamson (right), - Professor at the University of Sydney, receives the Max Planck-Humboldt Research Award. His host at the University ... Located in News / Geordie Williamson receives the Max Planck Humboldt Research Award 2024 Winter School on Geometry and Probability Located in Video Recordings WiT_schedule_2019.pdf Located in Assets WiT_schedule_I.pdf Located in Assets WKS-2017-05-15 Located in Events / 2017 < Previous 10 items 1 ... 226 227 228 229 230 231 232 ... 248 Next 10 items >
