External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Ken'ichi Kuga

This author has not been identified. Look up 'Ken'ichi Kuga' in Google

Manabu Hagiwara

This author has not been identified. Look up 'Manabu Hagiwara' in Google

Mitsuharu Yamamoto

This author has not been identified. Look up 'Mitsuharu Yamamoto' in Google
runs on