The Wolfram Language provides direct access to a large volume of mathematical data, specially organized and created for the Wolfram Language. The data is available in a wide range of forms suitable for direct integration into Wolfram Language computations.
FiniteGroup — named and enumerated finite groups
Knot — named and enumerated knots
Polyhedron — standard named polyhedra
Graph — named and enumerated graphs
Lattice — named lattices in any dimension
Solid — named solids (e.g. torus)
Surface — named surfaces (e.g. torus, sphere, ellipsoid)
MathematicalFunction — named mathematical functions
FindSequenceFunction — find functional forms for integer sequences
AxiomaticTheory — parametrized axioms, theorems, etc. for standard axiomatic theories
ResourceData — access mathematical data in the Wolfram Data Repository
ExampleData — built-in example and test-case data
Import — import mathematical data from files, URLs, etc.