Statistics — Formal Conjectures

Subject × status

Each row is an AMS MSC2020 subject; each column is a problem category. Cells link into the browse page filtered by both subject and category. A theorem tagged with multiple AMS subjects contributes to every relevant row, so row totals can exceed the repository total.

Subject	Open	Solved	Textbook	Test	API	Formal	Total
Number theory	695	521	94	242	31	71	1583
Combinatorics	334	310	45	193	96	38	978
Quantum theory	70	24	0	28	52	12	174
Linear and multilinear algebra; matrix theory	40	21	0	28	52	3	141
Information and communication, circuits	28	18	0	8	52	3	106
Convex and discrete geometry	36	53	3	13	0	5	105
Algebraic geometry	45	23	1	8	3	9	80
Geometry	23	23	5	6	4	2	61
Field theory and polynomials	15	28	3	3	4	2	53
Operator theory	19	6	0	17	1	1	43
Functions of a complex variable	12	22	1	1	6	2	42
Special functions	32	9	0	0	0	0	41
Group theory and generalizations	17	12	1	4	6	0	40
Measure and integration	7	16	3	5	1	2	32
General topology	12	5	6	4	3	1	30
Real functions	14	11	1	3	0	2	29
Mathematical logic and foundations	7	13	6	1	2	1	29
Probability theory and stochastic processes	8	5	2	8	0	2	23
Computer science	10	3	3	2	5	1	23
Dynamical systems and ergodic theory	11	1	1	4	5	0	22
Order, lattices, ordered algebraic structures	3	1	3	9	5	0	21
Harmonic analysis on Euclidean spaces	10	7	1	1	0	0	19
Sequences, series, summability	10	5	0	4	0	3	19
Associative rings and algebras	7	7	0	0	1	1	15
Manifolds and cell complexes	4	5	5	0	0	0	14
Commutative algebra	3	5	2	0	0	0	10
Topological groups, Lie groups	3	4	0	0	2	0	9
Partial differential equations	4	0	0	0	5	0	9
Functional analysis	6	2	0	0	0	0	8
Calculus of variations and optimal control; optimization	1	2	1	2	0	0	6
General algebraic systems	2	3	0	0	0	0	5
Global analysis, analysis on manifolds	2	2	0	0	0	0	4
Several complex variables and analytic spaces	2	1	0	0	0	0	3
Category theory; homological algebra	1	0	0	0	0	0	1
Differential geometry	0	1	0	0	0	0	1
Game theory, economics, social and behavioral sciences	1	0	0	0	0	0	1
Approximations and expansions	0	1	0	0	0	0	1