Bolzano: Case Studies in LLM-Assisted Mathematical Research — Martin Balko, Jan Grebík, Pavel Hubáček, Martin Koutecký, Matěj Kripner, Václav Rozhoň, Robert Šámal, Adrián Zámečník | Kutubxona