Chen, Jiahao, et al. “The Non-Existence of Algorithm Deciding Whether a Constructive Compact Topological Space Is Simply Connected”. Science and Technology of Engineering, Chemistry and Environmental Protection, vol. 3, no. 3, July 2025, p. 8802, doi:10.61173/v524km74.