Metamath vs PiBase: Topology Usage & Stats
This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases.
Metamath is a system for formalizing and verifying math proofs. For information about Metamath, see the web site us.metamath.org or one of its mirror sites.
For a demo of this app, see the youtube video at the url https://www.youtube.com/watch?v=qTOUBEACTz4&list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks
- Apple App Store
- Free
- Education
Store Rank
- -
π-Base Topology is a community database of topological counterexamples.
The database has:
- Topological Spaces
- Topological Theorems.
- Topological Properties.
- References (Books, Articles, Forums).
Information inside the app:
- Space, Theorem and Property descriptions.
- Properties that are (and aren´t) satisfied by a given space.
- Converses of theorems for which a given space is a counterexample.
- Given a property, which spaces satisfy and don´t satisfy it.
- Counterexamples for the converse of a given theorem. If the converse is True, a proof or reference is given.
- Spaces that satisfy a given logical formula formed with properties (search by formula).
- References.
- Apple App Store
- Free
- Education
Store Rank
- -
Metamath VS. 
PiBase: TopologyDecember 15, 2024