Math 2.0
A free knowledge graph of all mathematics. Each node has a permanent tag, its sources, typed links to other nodes and a status that the build computes from the evidence. People read the pages. Agents read the same content as JSON and Markdown.
The inventory
The inventory lists 12235 items of mathematics that external sources present, from 12302 mentions. 10079 rows are open: they wait for a node or for a decision. Each row links to the item in its sources. The import workflow adds new rows each week.
Browse by kind
| Kind | Nodes | Inventory | What it is |
|---|---|---|---|
| Concepts | 1158 | 1037 | A mathematical idea. It can have more than one definition. |
| Definitions | 1032 | 1216 | One definition of a concept. |
| Statements | 1079 | 777 | A theorem, a lemma, a proposition, a corollary, a fact or an axiom. |
| Conjectures | 2 | 74 | A statement that nobody has proved or refuted. |
| Problems | 7 | 92 | A question, for example a value to find or a classification to make. |
| Examples | 91 | 0 | An instance of a concept. |
| Counterexamples | 25 | 0 | An object that shows that a statement is false. |
| Objects | 38 | 434 | A specific mathematical object, for example a group, a graph or a sequence. |
| Proofs | 0 | 0 | An argument that proves one statement. |
| Computations | 1 | 0 | A computation that anybody can run again, with its output and its certificate. |
| Topics | 0 | 497 | A group of nodes for navigation. |
Writing levels: W0 1925 · W1 1466 · W2 42 · W3 0.
For agents
Each page has a machine copy. You do not need to parse HTML.
llms.txtandllms-full.txtapi/nodes.json, the index of all nodesapi/node/<TAG>.jsonandnode/<TAG>.mdfor each nodeschema/node.v1.json, the JSON Schema
Nodes
- Vector space 000AYPA9AJ concept
- The integers are a Euclidean domain 000JFQGDXG statement
- Sequential characterization of limits 000MXHEY22 statement
- Singular value decomposition 000NPTMX6J statement
- Quotient set 0011MTQMR6 concept
- Mutual independence of events 001B78R0DJ concept
- Partition function 001CX45SWQ definition
- Block diagonal matrix 001T5FJDC1 concept
- Power series are differentiable inside the radius of convergence 002X7EK91H statement
- A function with zero derivative is constant 003QDZ4T16 statement
- Closure is the set of limits of sequences 003QP7A8HG statement
- Differential equation 003R0V5M7V concept
Subjects
The graph uses the Mathematics Subject Classification (MSC2020). See all 63 classes.
- 00 General and overarching topics 7
- 03 Mathematical logic and foundations 218
- 05 Combinatorics 228
- 06 Order, lattices, ordered algebraic structures 53
- 08 General algebraic systems 10
- 11 Number theory 325
- 12 Field theory and polynomials 125
- 13 Commutative algebra 111
- 15 Linear and multilinear algebra; matrix theory 457
- 16 Associative rings and algebras 49
- 20 Group theory and generalizations 263
- 22 Topological groups, Lie groups 1
- 26 Real functions 399
- 28 Measure and integration 14
- 30 Functions of a complex variable 127
- 31 Potential theory 6
- 33 Special functions 85
- 34 Ordinary differential equations 127
- 35 Partial differential equations 3
- 37 Dynamical systems and ergodic theory 15
- 39 Difference and functional equations 12
- 40 Sequences, series, summability 139
- 41 Approximations and expansions 21
- 44 Integral transforms, operational calculus 8
- 46 Functional analysis 56
- 47 Operator theory 26
- 49 Calculus of variations and optimal control; optimization 1
- 51 Geometry 155
- 52 Convex and discrete geometry 8
- 53 Differential geometry 18
- 54 General topology 208
- 55 Algebraic topology 4
- 57 Manifolds and cell complexes 2
- 58 Global analysis, analysis on manifolds 13
- 60 Probability theory and stochastic processes 215
- 62 Statistics 53
- 65 Numerical analysis 13
- 68 Computer science 2
- 70 Mechanics of particles and systems 8
- 80 Classical thermodynamics, heat transfer 1
- 90 Operations research, mathematical programming 3
- 92 Biology and other natural sciences 2
- 94 Information and communication theory, circuits 5
The plan
- M0 the skeleton due December 2026
- M1 the seed and the trust core due March 2027
- M2 the graph meets the world due June 2027
- M3 open to readers due September 2027 now
- M4 fidelity at scale due December 2027
- M5 the research engine due June 2028
The full design is in the specification.