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 |
|---|---|
| 972 | Research (open) |
| 742 | Research (solved) |
| 56 | Formally proved |
| 11 | Graduate |
| 81 | Undergraduate |
| 26 | High School |
| 132 | API |
| 410 | Tests |
(note the links above use GitHub search, and so require logging into GitHub)
Subject Category Statistics
| Count | AMS # | Subject |
|---|---|---|
| 1482 | 11 | Number theory |
| 762 | 05 | Combinatorics |
| 92 | 81 | Quantum theory |
| 86 | 14 | Algebraic geometry |
| 75 | 52 | Convex and discrete geometry |
| 56 | 51 | Geometry |
| 54 | 12 | Field theory and polynomials |
| 53 | 15 | Linear and multilinear algebra; matrix theory |
| 42 | 20 | Group theory and generalizations |
| 41 | 33 | Special functions |
| 38 | 94 | Information and communication, circuits |
| 29 | 54 | General topology |
| 27 | 30 | Functions of a complex variable |
| 24 | 26 | Real functions |
| 23 | 68 | Computer science |
| 21 | 03 | Mathematical logic and foundations |
| 18 | 28 | Measure and integration |
| 16 | 06 | Order, lattices, ordered algebraic structures |
| 15 | 37 | Dynamical systems and ergodic theory |
| 15 | 16 | Associative rings and algebras |
| 14 | 40 | Sequences, series, summability |
| 14 | 57 | Manifolds and cell complexes |
| 13 | 42 | Harmonic analysis on Euclidean spaces |
| 8 | 22 | Topological groups, Lie groups |
| 7 | 13 | Commutative algebra |
| 7 | 60 | Probability theory and stochastic processes |
| 6 | 47 | Operator theory |
| 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 | 53 | Differential geometry |
| 1 | 41 | Approximations and expansions |
| 1 | 18 | Category theory; homological algebra |
| 1 | 91 | Game theory, economics, social and behavioral sciences |