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 |
|---|---|
| 826 | Research (open) |
| 608 | Research (solved) |
| 8 | Graduate |
| 73 | Undergraduate |
| 26 | High School |
| 88 | API |
| 350 | Tests |
(note the links above use GitHub search, and so require logging into GitHub)
Subject Category Statistics
| Count | AMS # | Subject |
|---|---|---|
| 1307 | 11 | Number theory |
| 528 | 05 | Combinatorics |
| 75 | 52 | Convex and discrete geometry |
| 53 | 12 | Field theory and polynomials |
| 48 | 51 | Geometry |
| 41 | 33 | Special functions |
| 36 | 20 | Group theory and generalizations |
| 34 | 14 | Algebraic geometry |
| 25 | 30 | Functions of a complex variable |
| 21 | 03 | Mathematical logic and foundations |
| 21 | 68 | Computer science |
| 20 | 54 | General topology |
| 18 | 26 | Real functions |
| 17 | 28 | Measure and integration |
| 15 | 15 | Linear and multilinear algebra; matrix theory |
| 15 | 37 | Dynamical systems and ergodic theory |
| 15 | 16 | Associative rings and algebras |
| 12 | 42 | Harmonic analysis on Euclidean spaces |
| 8 | 13 | Commutative algebra |
| 5 | 47 | Operator theory |
| 5 | 08 | General algebraic systems |
| 5 | 60 | Probability theory and stochastic processes |
| 4 | 40 | Sequences, series, summability |
| 3 | 32 | Several complex variables and analytic spaces |
| 1 | 06 | Order, lattices, ordered algebraic structures |
| 1 | 18 | Category theory; homological algebra |
| 1 | 91 | Game theory, economics, social and behavioral sciences |
| 1 | 41 | Approximations and expansions |
| 1 | 22 | Topological groups, Lie groups |
| 1 | 81 | Quantum theory |