Formalization of Bing’s Shrinking Method in Geometric Topology

DOI10.1007/978-3-319-42547-4_2zbMath1344.68207OpenAlexW2479737961MaRDI QIDQ2817290

Ken'ichi Kuga, Manabu Hagiwara, Mitsuharu Yamamoto

Publication date: 30 August 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42547-4_2

zbMATH Keywords

CoqSsreflectgeometric topologyformalizationBing's shrinking method

Mathematics Subject Classification ID

Uses Software

• Coq
• Mizar
• Coq/SSReflect
• GitHub
• Jordan

Cites Work

• Unnamed Item
• The topology of four-dimensional manifolds
• A homeomorphism between the 3-sphere and the sum of two solid horned spheres
• A proof of the generalized Schoenflies theorem
• The Jordan Curve Theorem, Formally and Informally

This page was built for publication: Formalization of Bing’s Shrinking Method in Geometric Topology