Welcome to the Formal Conjectures Documentation!
Visit the Formal Conjectures website to browse and filter all formalised conjectures, or check out the GitHub repository for more details.
This page provides an overview of the problem categories and subject classifications used within the project. For a more detailed explanation of these categories and the AMS subject classifications, please refer to the explanation of features in the project's README.
Problem Category Statistics
| Count | Category |
|---|---|
| 1166 | Research (open) |
| 1105 | Research (solved) |
| 195 | Formally proved |
| 153 | Textbook |
| 201 | API |
| 539 | Tests |
(note the links above use GitHub search, and so require logging into GitHub)
Subject Category Statistics
| Count | AMS # | Subject |
|---|---|---|
| 1785 | 11 | Number theory |
| 1148 | 05 | Combinatorics |
| 180 | 81 | Quantum theory |
| 145 | 15 | Linear and multilinear algebra; matrix theory |
| 122 | 52 | Convex and discrete geometry |
| 109 | 94 | Information and communication, circuits |
| 86 | 14 | Algebraic geometry |
| 65 | 51 | Geometry |
| 55 | 12 | Field theory and polynomials |
| 49 | 03 | Mathematical logic and foundations |
| 48 | 30 | Functions of a complex variable |
| 46 | 20 | Group theory and generalizations |
| 44 | 47 | Operator theory |
| 41 | 33 | Special functions |
| 37 | 54 | General topology |
| 33 | 28 | Measure and integration |
| 33 | 26 | Real functions |
| 29 | 40 | Sequences, series, summability |
| 29 | 42 | Harmonic analysis on Euclidean spaces |
| 26 | 68 | Computer science |
| 25 | 60 | Probability theory and stochastic processes |
| 22 | 37 | Dynamical systems and ergodic theory |
| 21 | 06 | Order, lattices, ordered algebraic structures |
| 19 | 35 | Partial differential equations |
| 15 | 16 | Associative rings and algebras |
| 15 | 57 | Manifolds and cell complexes |
| 12 | 13 | Commutative algebra |
| 10 | 46 | Functional analysis |
| 9 | 22 | Topological groups, Lie groups |
| 7 | 49 | Calculus of variations and optimal control; optimization |
| 5 | 91 | Game theory, economics, social and behavioral sciences |
| 5 | 08 | General algebraic systems |
| 4 | 58 | Global analysis, analysis on manifolds |
| 3 | 41 | Approximations and expansions |
| 3 | 32 | Several complex variables and analytic spaces |
| 1 | 18 | Category theory; homological algebra |
| 1 | 53 | Differential geometry |