3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CC2022★ 3 cited
Baba is You is Undecidable
Jonathan Geller
We establish the undecidability of 2019 puzzle game Baba is You through a reduction from the Post correspondence problem. In particular, we consider a restricted form of the Post c…
math.CV2021
The Real Schwarz Lemma: The Sequel
Benjamin Baily, Jonathan Geller, Steven J. Miller
A decade ago, when teaching complex analysis, the third named author posed the question on whether or not there is an analogue to the Schwarz lemma for real analytic functions. Thi…