Atlas-like websites on specific areas of mathematics

In this post, we look for the existing atlas-like websites providing well-presented classifications or database about some specific areas of mathematics. Here are some examples:

Finite groups of order ≤500, group names, extensions, presentations, properties and character tables.

This ATLAS of Group Representations has been prepared by Robert Wilson, Peter Walsh, Jonathan Tripp, Ibrahim Suleiman, Richard Parker, Simon Norton, Simon Nickerson, Steve Linton, John Bray, and Rachel Abbott (in reverse alphabetical order, because I'm fed up with always being last!). It currently contains information (including 5215 representations) on about 716 groups [mainly finite simple groups or almost simple].

This atlas contains all subgroup lattices of almost simple groups $$G$$ such that $$S≤G≤Aut(S)$$ and $$S$$ is a simple group of order less than 1 million appearing in the Atlas of Finite Groups by Conway et al. Some simple groups and almost simple groups or order larger than 1 million have also been included, but not in a systematic way.

Welcome to the LMFDB, the database of L-functions, modular forms, and related objects. These pages are intended to be a modern handbook including tables, formulas, links, and references for L-functions and their underlying objects [like field extensions and polynomial Galois groups].

The Inverse Symbolic Calculator (ISC) uses a combination of lookup tables and integer relation algorithms in order to associate a closed form representation with a user-defined, truncated decimal expansion (written as a floating point expression). The lookup tables include a substantial data set compiled by S. Plouffe both before and during his period as an employee at CECM.

If you know such a website on any area of mathematics, please put it as an answer (with a short description).

• You might be interested in Bridget Tenner's talk Fingerprinting Richard Stanley. Mar 7, 2020 at 3:02
• Also in the Notices article "Fingerprint Databases for Theorems" by Tenner and Billey. Mar 10, 2020 at 10:36
• @RussWoodroofe's reference: Billey and Tenner - Fingerprint databases for theorems (why reverse the author names?). Apr 21, 2020 at 14:59
• An Atlas of Even Primes would fill a much-needed gap in the literature. Apr 30, 2020 at 3:53
• @LSpice, I think I put Tenner first because I was replying to Timothy Chow's comment on Tenner's talk. (But you're right, I should've used the canonical order.) May 19, 2020 at 13:29

This catalogue of mathematical datasets could be of some interest to you - at least some of the entries are atlas-like websites. It includes several of the websites mentioned above, and I'm slowly adding more to it.

• Although mere thanks in comments are discouraged, I cannot resist: very, very useful work, thank you very much for your initiative and effort! May 4, 2020 at 7:40
• It seems OP is not only collecting datasets but also working to standarize them, great work! Jan 20, 2021 at 4:25
• I'd be very surprised if anyone here hasn't heard of this Mar 8, 2020 at 3:43
• @BlueRaja xkcd.com/1053 Mar 9, 2020 at 17:45
• I'm one of the lucky people today <3 Apr 30, 2020 at 0:06

Here's another one.

Forking and dividing is a map of the model theory universe, visually classifying some 63 first-order theories.

PolyDB is a database of polytopes. It can either be accessed through the website or directly from polymake.

The Information System on Graph Classes and their Inclusions: http://www.graphclasses.org/

This is a database of graph classes with a java application that helps you to research what's known about particular graph classes.

I am trying to keep up with the area of symmetric functions, and various generalizations: The symmetric functions catalog

Another one is the Catalogue of Lattices.

This data-base of lattices is a joint project of Gabriele Nebe, RWTH Aachen university (nebe(AT)math.rwth-aachen.de) and Neil Sloane. (njasloane(AT)gmail.com).

Our aim is to give information about all the interesting lattices in "low" dimensions (and to provide them with a "home page"!). The data-base now contains about 160,000 lattices!

http://www.grdb.co.uk

A database of varieties (toric varieties, Fano varieties, Calabi-Yaus).

$$\pi$$-base has examples of topological spaces and their properties.

Here is a database of Vertex Operator Algebras and Modular Categories, though it is still in an early version.

The Blocks of Finite Groups wiki, which aims to classify the Morita equivalence classes of blocks with a given defect group. This is in part to understand Donovan's Conjecture better.

Maybe not exactly an "atlas", but there is a classification of some certain types of PDEs studied in analysis at

The Database of ring theory records examples of rings and over 100 ring theoretic properties they can have. There is also some information on important subsets, various dimensions, and meta properties of the properties.

There is also some selected theorems, and some errata. I always welcome suggestions for additions: there is too much work for one person to do.

There's the Reverse Math Zoo.

Pieter Belmans at the University of Bonn maintains a couple of such websites.

There is Fanography, "a tool to visually study the geography of Fano 3-folds."

And le superficie algebriche, "a tool for studying numerical invariants of minimal algebraic surfaces over the complex numbers". Johan Commelin also contributed to this one.

Regina and SnapPy are free program suits for research in low-dimensional topology (particularly in dimension 3), and are accompanied by large census databases of closed 3-manifolds, knots and links. Some highlights:

• Knot tables up to 19 (!) crossings (Regina)

• Closed, orientable 3-maifolds with at most 11 tetrahedra (Regina)

• Knots and links with up to 14 crossings (SnapPy)

• Various censuses of hyperbolic 3-manifolds (Regina, SnapPy)

= = = = = = Small Ramsey Numbers = = = = = =

https://www.combinatorics.org/ojs/index.php/eljc/article/view/DS1/pdf

Last update on 2017-03-03. All known Ramsey numbers or their estimates are provided for several different types of graphs and colorings.

The Cunningham Project seeks to factor the numbers $$b^n \pm 1$$ for $$b = 2$$, $$3$$, $$5$$, $$6$$, $$7$$, $$10$$, $$11$$, $$12$$, up to high powers $$n$$.

• (No relation.)​ Mar 7, 2020 at 18:54

These are databases of all knots and links up to a certain number of crossings, along with many different computed invariants and properties.

There is a database of matroids. For example, it includes a list of all $$4,886,380,924$$ isomorphism classes of matroids of rank 4 on 10 elements!

If you are interested in historical things,

John Jones' number fields database

and

William Stein's modular forms database (which also includes elliptic curve data, such as the Cremona database) used to be standard such websites. Now this information is subsumed into the

L-functions and modular forms database (LMFDB)

mentioned by the OP.

A database of number fields, by Jürgen Klüners and Gunter Malle. (Note this is not the same as the one mentioned in this answer.)

The site also provides links to similar databases.

Another classic, this time about prime numbers, it provides some theoretical results and a lot of data:

= = = = = = https://primes.utm.edu/ = = = = = =

There are many more pages and portals devoted to elementary number theory.

Enumerating Order Types for Small Point Sets with Applications

• Database (maintained by Oswin Aichholzer, TU Graz)

• Background paper (by O. Aichholzer, F. Auerhammer, H. Krasser (2002))

Many Internet pages provide (or used to) lotto design tables. In particular, the following paper seems solid:

= = = Lotto Design Tables (by P. C. Li and G. H. J. van Rees),

The Atlas of Small Regular Polytopes (Michael Hartley) "contains information about all regular polytopes with $$n$$ flags where $$n$$ is at most 2000, and not equal to 1024 or 1536".

The website of Dimitri Leemans has

The website of Marston Conder has many catalogs of information related to maps, hypermaps, polytopes, symmetric graphs, and surface actions.

Combinatorial Data (Brendan McKay) has complete collections of various classes of graph, up to some number of vertices, in graph6 format.

Combinatorial Catalogues (Gordon Royle) has class 2 graphs up to 9 vertices, trees up to 16, bipartite up to 14, 3-regular up to 22, and more.

Regular Graphs (M. Meringer) has information and shortcode files for "simple connected $$k$$-regular graphs on $$n$$ vertices and girth at least $$g$$ with given parameters $$n,k,g$$."

The House of Graphs is a searchable "Database of interesting graphs".

Abbreviated as AME(n,D), the table lists quantum states of n parties with D levels each that show maximal entanglement across every bipartition. These states are equivalent to pure $$((n,1,n/2+1))_D$$ quantum error correcting codes, and are in the case of n even also known as perfect tensors or multi-unitary matrices. They can be seen as a type of self-dual quantum codes.

http://www.polychora.de/wiki/images/ has renders of cross-sections, vertex figures and their duals, and cellets for many (possibly all) of the 1849 uniform polychora known at the time it was created.