Welcome to the Formal Conjectures Documentation!
Check out the main Formal Conjectures 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 |
|---|---|
| 396 | Research (open) |
| 285 | Research (solved) |
| 7 | Graduate |
| 45 | Undergraduate |
| 11 | High School |
| 63 | API |
| 114 | Tests |
(note the links above use GitHub search, and so require logging into GitHub)
Subject Category Statistics
| Count | AMS # | Subject |
|---|---|---|
| 643 | 11 | Number theory |
| 227 | 05 | Combinatorics |
| 40 | 33 | Special functions |
| 36 | 12 | Field theory and polynomials |
| 35 | 14 | Algebraic geometry |
| 23 | 51 | Geometry |
| 18 | 52 | Convex and discrete geometry |
| 17 | 20 | Group theory and generalizations |
| 15 | 16 | Associative rings and algebras |
| 14 | 03 | Mathematical logic and foundations |
| 13 | 37 | Dynamical systems and ergodic theory |
| 10 | 15 | Linear and multilinear algebra; matrix theory |
| 9 | 30 | Functions of a complex variable |
| 6 | 68 | Computer science |
| 6 | 13 | Commutative algebra |
| 5 | 47 | Operator theory |
| 5 | 08 | General algebraic systems |
| 4 | 42 | Harmonic analysis on Euclidean spaces |
| 4 | 60 | Probability theory and stochastic processes |
| 4 | 26 | Real functions |
| 3 | 40 | Sequences, series, summability |
| 1 | 81 | Quantum theory |
| 1 | 41 | Approximations and expansions |
| 1 | 54 | General topology |
| 1 | 32 | Several complex variables and analytic spaces |
| 1 | 06 | Order, lattices, ordered algebraic structures |