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]
@inproceedings{KugaHY16,
title = {Formalization of Bing's Shrinking Method in Geometric Topology},
author = {Ken'ichi Kuga and Manabu Hagiwara and Mitsuharu Yamamoto},
year = {2016},
doi = {10.1007/978-3-319-42547-4_2},
url = {http://dx.doi.org/10.1007/978-3-319-42547-4_2},
researchr = {https://researchr.org/publication/KugaHY16},
cites = {0},
citedby = {0},
pages = {18-27},
booktitle = {Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
editor = {Michael Kohlhase and Moa Johansson and Bruce R. Miller and Leonardo de de Moura and Frank Wm. Tompa},
volume = {9791},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-42546-7},
}