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 |
|---|---|
| 1083 | Research (open) |
| 890 | Research (solved) |
| 123 | Formally proved |
| 149 | Textbook |
| 165 | API |
| 486 | Tests |
(note the links above use GitHub search, and so require logging into GitHub)
Subject Category Statistics
| Count | AMS # | Subject |
|---|---|---|
| 1589 | 11 | Number theory |
| 992 | 05 | Combinatorics |
| 180 | 81 | Quantum theory |
| 144 | 15 | Linear and multilinear algebra; matrix theory |
| 109 | 94 | Information and communication, circuits |
| 105 | 52 | Convex and discrete geometry |
| 85 | 14 | Algebraic geometry |
| 61 | 51 | Geometry |
| 53 | 12 | Field theory and polynomials |
| 43 | 47 | Operator theory |
| 42 | 30 | Functions of a complex variable |
| 41 | 33 | Special functions |
| 40 | 20 | Group theory and generalizations |
| 32 | 03 | Mathematical logic and foundations |
| 32 | 28 | Measure and integration |
| 31 | 54 | General topology |
| 29 | 26 | Real functions |
| 24 | 68 | Computer science |
| 23 | 60 | Probability theory and stochastic processes |
| 22 | 37 | Dynamical systems and ergodic theory |
| 21 | 06 | Order, lattices, ordered algebraic structures |
| 19 | 42 | Harmonic analysis on Euclidean spaces |
| 19 | 40 | Sequences, series, summability |
| 15 | 16 | Associative rings and algebras |
| 14 | 57 | Manifolds and cell complexes |
| 10 | 13 | Commutative algebra |
| 9 | 22 | Topological groups, Lie groups |
| 9 | 35 | Partial differential equations |
| 8 | 46 | Functional analysis |
| 6 | 49 | Calculus of variations and optimal control; optimization |
| 5 | 08 | General algebraic systems |
| 4 | 58 | Global analysis, analysis on manifolds |
| 3 | 32 | Several complex variables and analytic spaces |
| 1 | 18 | Category theory; homological algebra |
| 1 | 41 | Approximations and expansions |
| 1 | 53 | Differential geometry |
| 1 | 91 | Game theory, economics, social and behavioral sciences |