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
Formal Conjectures
454 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-10074AlgebraStatus unassessed
The – conjecture
The frac 1 3 – frac 2 3 conjecture
Formal Conjectures· Specialist source · status unassessed
OP-10073Number theoryStatus unassessed
Woodal Primes
Woodal Primes
Formal Conjectures· Specialist source · status unassessed
OP-10072Number theoryStatus unassessed
Wolstenholme Prime
Wolstenholme Prime
Formal Conjectures· Specialist source · status unassessed
OP-10071Number theoryStatus unassessed
Wilson primes
Wilson primes
Formal Conjectures· Specialist source · status unassessed
OP-10070Number theoryStatus unassessed
Wieferich primes
Wieferich primes
Formal Conjectures· Specialist source · status unassessed
OP-10069Number theoryStatus unassessed
Can a prime satisfy and ?
Can a prime p satisfy 2^ p-1 equiv 1 pmod p^2 and 3^ p-1 equiv 1 pmod p^2 ?
Formal Conjectures· Specialist source · status unassessed
OP-10068CombinatoricsStatus unassessed
Vizing's conjecture (1968)
Vizing's conjecture (1968)
Formal Conjectures· Specialist source · status unassessed
OP-10067Logic and foundationsStatus unassessed
Vaught conjecture
Vaught conjecture
Formal Conjectures· Specialist source · status unassessed
OP-10066Number theoryStatus unassessed
Open questions on transcendence of numbers
Open questions on transcendence of numbers
Formal Conjectures· Specialist source · status unassessed
OP-10065Geometry and topologyStatus unassessed
Toronto spaces
Toronto spaces
Formal Conjectures· Specialist source · status unassessed
OP-10064Number theoryStatus unassessed
Taxicab numbers
Taxicab numbers
Formal Conjectures· Specialist source · status unassessed
OP-10063Number theoryStatus unassessed
(m,k)-perfect numbers
(m,k)-perfect numbers
Formal Conjectures· Specialist source · status unassessed
OP-10062Number theoryStatus unassessed
Sum of three cubes
Sum of three cubes
Formal Conjectures· Specialist source · status unassessed
OP-10061CombinatoricsStatus unassessed
Steiner Systems
Steiner Systems
Formal Conjectures· Specialist source · status unassessed
OP-10060Geometry and topologyStatus unassessed
Packing
Packing
Formal Conjectures· Specialist source · status unassessed
OP-10059CombinatoricsStatus unassessed
Sparse Ruler
Sparse Ruler
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