Formalization of Bing's Shrinking Method in Geometric Topology

Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto. Formalization of Bing's Shrinking Method in Geometric Topology. In Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de de Moura, Frank Wm. Tompa, editors, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Volume 9791 of Lecture Notes in Computer Science, pages 18-27, Springer, 2016. [doi]

Abstract

Abstract is missing.