Data — A community database of topological counterexamples · dotstore

Description

A community database of mathematical objects, with powerful search and automated proof deduction.

Ratings & Reviews

No ratings yet

Be the first to rate Data.

People also visit

L

Libtommath

LibTomMath is a free open source portable number theoretic multiple-precision

Developer Tools

M

Mitex

LaTeX support for Typst, powered by Rust and WASM

Developer Tools

V

VSCode-LaTeX-Inkscape

A way to integrate LaTeX, VS Code, and Inkscape in macOS

Developer Tools

N

NocoDB

Instantly turn your Database into a No-Code Platform

Developer Tools

C

Coolify

Self-hostable Heroku alternative

Developer Tools

I

Insomnia

The Collaborative API Development Platform

Developer Tools

See all Data alternatives

Data FAQ

What is Data?

A community database of mathematical objects, with powerful search and automated proof deduction.

Is Data free?

Yes. Data is free to use.

Do I need to download Data?

No. Data runs in your browser at topology.pi-base.org, so there's nothing to install.

Who makes Data?

Data is made by pi-base.

What are the best Data alternatives?

Popular alternatives to Data include Libtommath, Mitex and VSCode-LaTeX-Inkscape. See all Data alternatives

Developer Stuff

Badges