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. 2494 items matching your search terms. Filter the results Item type Select All/None Fontfamily Event Medien-Ordner Tiles-Seite Subsite Person Business Card Link Language Root Folder Collection Icon File Study database metainformation EasyForm Folder News Template-Folder Person Register VideourlCT Image Language Independent Folder New items since Yesterday Last week Last month Ever Sort by relevance date (newest first) alphabetically Vorwort.pdf Located in Assets Vygen.jpg Located in People / Pictures Wadim Zudilin: Modular regulators and multiple modular values Located in Video Recordings / Follow_UP_WS_Number_Theory_Video / YouTube_Video Website.jpg Located in Pictures 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 < Previous 10 items 1 ... 227 228 229 230 231 232 233 ... 250 Next 10 items >
