OP-9958AnalysisStatus unassessed
Weak tiling problems
Weak tiling problems
Formal Conjectures· Specialist source · status unassessed
The index
Explore the frontier
12,151 entries. Sorted by recently added.
OP-9957AnalysisStatus unassessed
Voronovskaja-type Formula for the Bezier Variant of the Bernstein Operators
Voronovskaja-type Formula for the Bezier Variant of the Bernstein Operators
Formal Conjectures· Specialist source · status unassessed
OP-9956CombinatoricsStatus unassessed
Tu-Deng Conjecture
Tu-Deng Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9955Computational complexityStatus unassessed
Strong Sensitivity Conjecture (`bs(f) ≤ s(f)^2`)
Strong Sensitivity Conjecture ( bs(f) ≤ s(f)^2 )
Formal Conjectures· Specialist source · status unassessed
OP-9954Number theoryStatus unassessed
Serre's uniformity conjecture over the rationals
Serre's uniformity conjecture over the rationals
Formal Conjectures· Specialist source · status unassessed
OP-9953CombinatoricsStatus unassessed
Ringel's Conjecture
Ringel's Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9952Number theoryStatus unassessed
Prime Tuples Conjecture
Prime Tuples Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9951CombinatoricsStatus unassessed
Monochromatic quantum graphs (inherited vertex colorings)
Monochromatic quantum graphs (inherited vertex colorings)
Formal Conjectures· Specialist source · status unassessed
OP-9950CombinatoricsStatus unassessed
Latin Tableau Conjecture
Latin Tableau Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9949CombinatoricsStatus unassessed
Conjectures about Latin Squares
Conjectures about Latin Squares
Formal Conjectures· Specialist source · status unassessed
OP-9948Number theoryStatus unassessed
Kurepa's conjecture
Kurepa's conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9947CombinatoricsStatus unassessed
Kotzig's Conjecture
Kotzig's Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9946Geometry and topologyStatus unassessed
Conjectures around homogeneous topological spaces
Conjectures around homogeneous topological spaces
Formal Conjectures· Specialist source · status unassessed
OP-9945AlgebraStatus unassessed
Hartshorne Conjecture
Hartshorne Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9944CombinatoricsStatus unassessed
Main conjecture on fusible numbers
Main conjecture on fusible numbers
Formal Conjectures· Specialist source · status unassessed
OP-9943Number theoryStatus unassessed
Dubner's conjecture
Dubner's conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9942Partial differential equationsStatus unassessed
De Giorgi's conjecture
De Giorgi's conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9941AlgebraStatus unassessed
The -conjecture (conjugacy classes of distinct sizes)
The S 3 -conjecture (conjugacy classes of distinct sizes)
Formal Conjectures· Specialist source · status unassessed
OP-9940CombinatoricsStatus unassessed
Chvátal's Conjecture
Chvátal's Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9939Number theoryStatus unassessed
The Catch-Up game and conjecture
The Catch-Up game and conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9938Mathematics · generalStatus unassessed
Casas-Alvero Conjecture
Casas-Alvero Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9937Geometry and topologyStatus unassessed
Conjecture about cardinality of Lindelöf spaces
Conjecture about cardinality of Lindelöf spaces
Formal Conjectures· Specialist source · status unassessed
OP-9936CombinatoricsStatus unassessed
VCₙ dimension of convex sets in ℝⁿ, ℝⁿ⁺¹, ℝⁿ⁺²
VCₙ dimension of convex sets in ℝⁿ, ℝⁿ⁺¹, ℝⁿ⁺²
Formal Conjectures· Specialist source · status unassessed
OP-9935Dynamical systemsStatus unassessed
The Rule 30 Prize Problems
The Rule 30 Prize Problems
Formal Conjectures· Specialist source · status unassessed
OP-9934AlgebraStatus unassessed
The Gerstenhaber problem for three commuting matrices
The Gerstenhaber problem for three commuting matrices
Formal Conjectures· Specialist source · status unassessed
Frequent tags
theoremdb 3909historical workshop 3469aim 3469icm 2898source curated 2675source candidate 1231number theory 1007status unassessed 622specialist collection 522pde dyn 399geometry 336analysis 269algebraic geometry 257algebra 224verifiable 2026 223probability 221graph theory 200topology 199lie rep 180combinatorics 154combinatorics discrete mathematics 141mathematical physics mechanics 137numerical analysis computer science 131research 2026 126