by HOLROYD, ALEXANDER E., LIGGETT, THOMAS M.
Published in Forum of mathematics. Pi (2016)

by HALES, THOMAS, ADAMS, MARK, BAUER, GERTRUD, DANG, TAT DAT, HARRISON, JOHN, HOANG, LE TRUONG, KALISZYK, CEZARY, MAGRON, VICTOR, MCLAUGHLIN, SEAN, NGUYEN, TAT THANG, NGUYEN, QUANG TRUONG, NIPKOW, TOBIAS, OBUA, STEVEN, PLESO, JOSEPH, RUTE, JASON, SOLOVYEV, ALEXEY, TA, THI HOAI AN, TRAN, NAM TRUNG, TRIEU, THI DIEP, URBAN, JOSEF, VU, KY, ZUMKELLER, ROLAND
Published in Forum of mathematics. Pi (2017)

by Deng, Yu, Hani, Zaher
Published in Forum of mathematics. Pi (2021)

by GUBINELLI, MASSIMILIANO, IMKELLER, PETER, PERKOWSKI, NICOLAS
Published in Forum of mathematics. Pi (01.08.2015)

by Chodosh, Otis, Li, Chao
Published in Forum of mathematics. Pi (02.02.2023)

by SLOFSTRA, WILLIAM
Published in Forum of mathematics. Pi (2019)

by Abban, Hamid, Zhuang, Ziquan
Published in Forum of mathematics. Pi (01.01.2022)

by Anschütz, Johannes, Le Bras, Arthur-César
Published in Forum of mathematics. Pi (01.01.2023)

by Mustaţă, Mircea, Popa, Mihnea
Published in Forum of mathematics. Pi (01.01.2022)

by Pan, Lue
Published in Forum of mathematics. Pi (01.01.2022)

by HAIRER, MARTIN, QUASTEL, JEREMY
Published in Forum of mathematics. Pi (2018)

by Bruned, Yvain, Schratz, Katharina
Published in Forum of mathematics. Pi (01.01.2022)

by Blasiak, Jonah, Haiman, Mark, Morse, Jennifer, Pun, Anna, Seelinger, George H.
Published in Forum of mathematics. Pi (01.01.2023)

by Hanlon, Andrew, Hicks, Jeff, Lazarev, Oleg
Published in Forum of mathematics. Pi (27.11.2024)

by Li, Chao, Liu, Yifeng
Published in Forum of mathematics. Pi (01.01.2022)

by BRAUN, MICHAEL, ETZION, TUVI, ÖSTERGÅRD, PATRIC R. J., VARDY, ALEXANDER, WASSERMANN, ALFRED
Published in Forum of mathematics. Pi (2016)

by Buckmaster, Tristan, Cao-Labora, Gonzalo, Gómez-Serrano, Javier
Published in Forum of mathematics. Pi (12.02.2025)

by HAMMOND, ALAN
Published in Forum of mathematics. Pi (2019)

by SCHOLZE, PETER
Published in Forum of mathematics. Pi (2013)

by Eur, Christopher, Huh, June, Larson, Matt
Published in Forum of mathematics. Pi (09.10.2023)