PiBase: Topology

Felipe Cruz

Contiene anuncios

Acerca de esta app

π-Base Topology es una base de datos comunitaria de contraejemplos topológicos.

La base de datos tiene:
- Espacios topológicos
- Teoremas topológicos.
- Propiedades topológicas.
- Referencias (Libros, Artículos, Foros).

Información dentro de la aplicación:
- Descripciones de espacios, teoremas y propiedades.
- Propiedades que son (y no son) satisfechas por un espacio dado.
- Recíprocos de teoremas para los que un espacio dado es un contraejemplo.
- Dada una propiedad, qué espacios la satisfacen y cuáles no la satisfacen.
- Contraejemplos para el inverso de un teorema dado. Si lo contrario es Verdadero, se da una prueba o referencia.
- Espacios que satisfacen una fórmula lógica dada formada con propiedades (búsqueda por fórmula).
- Referencias.

Novedades

Bug fixes!