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