OP-10083CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 61
Written on the Wall II - Conjecture 61
Formal Conjectures· Specialist source · status unassessed
The index
Explore the frontier
1,672 entries matching the current filters. Sorted by recently added.
OP-10082CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 40
Written on the Wall II - Conjecture 40
Formal Conjectures· Specialist source · status unassessed
OP-10081CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 314
Written on the Wall II - Conjecture 314
Formal Conjectures· Specialist source · status unassessed
OP-10080CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 198a
Written on the Wall II - Conjecture 198a
Formal Conjectures· Specialist source · status unassessed
OP-10079CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 19
Written on the Wall II - Conjecture 19
Formal Conjectures· Specialist source · status unassessed
OP-10078CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 141
Written on the Wall II - Conjecture 141
Formal Conjectures· Specialist source · status unassessed
OP-10077CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 133
Written on the Wall II - Conjecture 133
Formal Conjectures· Specialist source · status unassessed
OP-10076CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 100
Written on the Wall II - Conjecture 100
Formal Conjectures· Specialist source · status unassessed
OP-10075CombinatoricsStatus unassessed
Written on the Wall II - Conjecture 160
Written on the Wall II - Conjecture 160
Formal Conjectures· Specialist source · status unassessed
OP-10068CombinatoricsStatus unassessed
Vizing's conjecture (1968)
Vizing's conjecture (1968)
Formal Conjectures· Specialist source · status unassessed
OP-10061CombinatoricsStatus unassessed
Steiner Systems
Steiner Systems
Formal Conjectures· Specialist source · status unassessed
OP-10059CombinatoricsStatus unassessed
Sparse Ruler
Sparse Ruler
Formal Conjectures· Specialist source · status unassessed
OP-10057CombinatoricsStatus unassessed
Snake in the box
Snake in the box
Formal Conjectures· Specialist source · status unassessed
OP-10054CombinatoricsStatus unassessed
Sidorenko's conjecture (1993)
Sidorenko's conjecture (1993)
Formal Conjectures· Specialist source · status unassessed
OP-10048CombinatoricsStatus unassessed
Ramsey numbers
Ramsey numbers
Formal Conjectures· Specialist source · status unassessed
OP-10038CombinatoricsStatus unassessed
Pebbling number conjecture
Pebbling number conjecture
Formal Conjectures· Specialist source · status unassessed
OP-10028CombinatoricsStatus unassessed
The Lovász–Plummer conjecture (proved 2011) and Sheehan's conjecture
The Lovász–Plummer conjecture (proved 2011) and Sheehan's conjecture
Formal Conjectures· Specialist source · status unassessed
OP-10008CombinatoricsStatus unassessed
Graceful Tree Conjecture (Ringel–Kotzig conjecture)
Graceful Tree Conjecture (Ringel–Kotzig conjecture)
Formal Conjectures· Specialist source · status unassessed
OP-9985CombinatoricsStatus unassessed
Babai–Seress Conjectures on the Diameter of Finite Groups
Babai–Seress Conjectures on the Diameter of Finite Groups
Formal Conjectures· Specialist source · status unassessed
OP-9983CombinatoricsStatus unassessed
Dedekind Numbers
Dedekind Numbers
Formal Conjectures· Specialist source · status unassessed
OP-9971CombinatoricsStatus unassessed
Beck–Fiala theorem and conjecture
Beck–Fiala theorem and conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9956CombinatoricsStatus unassessed
Tu-Deng Conjecture
Tu-Deng Conjecture
Formal Conjectures· Specialist source · status unassessed
OP-9953CombinatoricsStatus unassessed
Ringel's Conjecture
Ringel's 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
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