@cxberger As usual, it's almost never a lone genius... | theHigherGeometer

theHigherGeometer's posts Post Back to profile

theHigherGeometer

@cxberger As usual, it's almost never a lone genius slaving away. Here's the acknowledgements section of the paper:

Acknowledgements
The author thanks Dan Romik for his thorough support and encouragement that greatly helped the research process. His feedback on the presentation significantly improved the clarity of this work. His package MovingSofas.nb helped making the intricate details of the problem much more accessible to the author. The package was also used to generate figures of Gerver’s sofa in this work.
Acknowledgment is extended to Joseph Gerver and Thomas Hales for their interest in this work and their in-depth discussions. The author also appreciates David Speyer’s efforts in understanding the details and help in refining the presentation. The author thanks Michael Zieve and Joonkyung Lee for their mentorship and valuable advice.
Thanks are also due to Martin Strauss, Jeffrey Lagarias and Alexander Barvinok for their interest, help, and advice during the early stages of the research, as well as to Rolf Schneider for his suggestions on the proof of Theorem 5.2.2. The author acknowledges Hyunuk Nam, Seewoo Lee, Changki Yun, Jacmin Choi, Yeonghyeon Kim, Joonhyung Shin, Yugeun Shim, and Seungwon Park for their interest, discussions, and encouragement.
A prior version of the proof of Theorem 1.1.1 was computer-assisted. [...] The author thanks an anonymous mentor and Hyunuk Nam for their discussions that helped the development of the software.

Like 2 December at 5:02 | Open on mathstodon.xyz

No comments