J. Fang, Q. Ge, and P. Li, “Algorithmically determining whether a rational point is inside an open, constructive set or on the boundary of it is generally impossible”, STECEP, vol. 3, no. 3, p. 8742, Jul. 2025.