OP-7001CombinatoricsSolved
Zero-sum-free subsets of the unit sphere over F_7
TheoremDB P2628 · zero sum theory
TheoremDB· Source catalogue assessment
The index
Explore the frontier
41 entries matching the current filters. Sorted by recently added.
OP-6811AnalysisSolved
The sharp Dirichlet Poincare constant with two moment constraints
TheoremDB P2516 · real analysis
TheoremDB· Source catalogue assessment
OP-6637Computational complexitySolved
Smallest variable-order OBDD for the middle bit of six-bit multiplication
TheoremDB P2572 · decision diagrams
TheoremDB· Source catalogue assessment
OP-6613Algorithms and data structuresSolved
Shortest superstring of the binary Lyndon words of length eight
TheoremDB P2600 · formal languages
TheoremDB· Source catalogue assessment
OP-6524ProbabilitySolved
Rank log-concavity for symmetric binary matrices through order fifty
TheoremDB P2598 · probabilistic combinatorics
TheoremDB· Source catalogue assessment
OP-6444Number theorySolved
Primality or weak Fermat pseudoprimality of a quotient
TheoremDB P12749 · integer sequences
TheoremDB· Source catalogue assessment
OP-6363AnalysisSolved
Optimal symmetric three-point quadrature for a bounded second derivative
TheoremDB P2518 · real analysis
TheoremDB· Source catalogue assessment
OP-6254Computational complexitySolved
Multiplicative complexity of the six-bit threshold-at-least-three function
TheoremDB P2602 · circuit complexity
TheoremDB· Source catalogue assessment
OP-6250Graph theorySolved
Most spanning trees in a 10-regular circulant on 101 vertices
TheoremDB P2676 · algebraic graph theory
TheoremDB· Source catalogue assessment
OP-6246AlgebraSolved
Most irreducible constant slices of a sparse quintic over F_101
TheoremDB P2662 · finite fields
TheoremDB· Source catalogue assessment
OP-6238ProbabilitySolved
Monotonicity of consecutive-adjacency avoidance in random permutations
TheoremDB P2536 · probability
TheoremDB· Source catalogue assessment
OP-6226Geometry and topologySolved
Minimum spanning-tree dilation on the regular nonagon
TheoremDB P2502 · computational geometry
TheoremDB· Source catalogue assessment
OP-6168AlgebraSolved
Maximum determinant of a zero-diagonal binary symmetric Toeplitz matrix of order 20
TheoremDB P2440 · matrix theory
TheoremDB· Source catalogue assessment
OP-6019Computational complexitySolved
Leaf complexity of six-vertex graph connectivity
TheoremDB P2570 · decision tree complexity
TheoremDB· Source catalogue assessment
OP-5436Geometry and topologySolved
Homotopy type of a Lee-metric Rips complex on the 7 by 7 torus
TheoremDB P2510 · computational topology
TheoremDB· Source catalogue assessment
OP-4868ProbabilitySolved
Exact Hamiltonicity probability on eight labeled vertices
TheoremDB P2584 · probabilistic combinatorics
TheoremDB· Source catalogue assessment
OP-4820AlgebraSolved
Eventual unimodality of ternary subset-sum polynomials
TheoremDB P2448 · algebraic combinatorics
TheoremDB· Source catalogue assessment
OP-4549Mathematics · generalSolved
Erdős Problem 524: Analysis exact value and asymptotic bounds
TheoremDB P10420 · background embedded json fragment
TheoremDB· Source catalogue assessment
OP-4015CombinatoricsSolved
Difference size of Z_127
TheoremDB P2636 · additive combinatorics
TheoremDB· Source catalogue assessment
OP-4012CombinatoricsSolved
Determinants of the Fibonacci-sum matrix
TheoremDB P2 · combinatorics
TheoremDB· Source catalogue assessment
OP-3956Graph theorySolved
Cycle Double Cover Conjecture
TheoremDB P3062 · graph theory
TheoremDB· Source catalogue assessment
OP-3162Graph theorySolved
A period-six recurrence for domination on the three-row knight graph
TheoremDB P2556 · graph theory
TheoremDB· Source catalogue assessment
OP-0056Quantum informationSolved
Additivity of the minimum output entropy of quantum channels
Everyone expected additivity. Hastings produced a random counterexample, and the classical capacity of a quantum channel became genuinely hard.
Community consensus· 2003
OP-0055Quantum informationSolved
Tsirelson's problem and the Connes embedding conjecture
Resolved in 2020 by a complexity-theoretic argument that nobody in operator algebras saw coming.
Community consensus· 1976
OP-11360AlgebraSolved
Points on Elliptic Curves over Finite Fields · Question 11.1
Noncommutative surfaces and Artin's conjecture · AIMPL workshop record
AIM Problem Lists· Source reports solved
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