@收款{zbMATH06620484，作者={Kuga、Ken’ichi和Hagiwara、Manabu和Yamamoto、Mitsuharu}，标题={几何拓扑中{Bing}收缩方法的形式化}，BookTitle={智能计算机数学。第九届国际会议，CICM 2016，波兰比亚莱斯托克，2016年7月25日至29日。诉讼}，国际标准图书编号={978-3-319-42546-7；978-3-3169-42547-4}，页码={18--27}，年份={2016年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-42547-4_2}，关键词={68T15,57N99}，zbMATH={6620484}，Zbl={1344.68207}}