Compactness in metric spaces

DOI10.1515/forma-2016-0013zbMath1357.54022OpenAlexW2589032788MaRDI QIDQ516741

Yasunari Shidama, Keiko Narita, Kazuhisa Nakasho

Publication date: 15 March 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0013

zbMATH Keywords

metric spacescompactnessnormed linear spaces

Mathematics Subject Classification ID

Compactness (54D30) Metric spaces, metrizability (54E35) Mechanization of proofs and logical operations (03B35)

Uses Software

• Mizar

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of MML Query - Ordering
• Mizar: State-of-the-art and Beyond