PiBase: Topology

Felipe Cruz

包含广告

关于此应用

π-Base Topology 是一个拓扑反例社区数据库。

该数据库有：
- 拓扑空间
- 拓扑定理。
- 拓扑属性。
- 参考资料（书籍、文章、论坛）。

应用内信息：
- 空间、定理和属性描述。
- 给定空间满足（和不）满足的属性。
- 给定空间是反例的定理的逆向。
- 给定一个属性，哪些空间满足和不满足它。
- 给定定理的反例。如果反之为真，则给出证明或参考。
- 满足由属性形成的给定逻辑公式的空间（按公式搜索）。
- 参考。

新变化

Bug fixes!