86,763 records
- Brun's theorem: the sum of the reciprocals of the twin primes converges, after Brun 1919, with the twin prime upper bound and every even gap
- The 50-color theorem for t-perfect graphs
- Schnirelmann's theorem: every integer n >= 2 is a sum of at most 30772 primes, after Schnirelmann 1933
- An XP Algorithm for Maximum-Weight Independent Set in Embedded Graphs, in Lean 4
- Ramanujan congruences for the partition function
- Classical Liénard equations of degree n ≥ 6 can have floor((n−1)/2)+4 limit cycles
- A formal proof that crown graphs maximise the representation number of bipartite graphs
- A universal group with thirteen relators
- Critical recovery, query lower bounds and binary-native width
- The fourth consecutive Dirichlet eigenvalue ratio
- Fixed-force anomalous dissipation
- Hamiltonian paths in rectangular grid graphs (Itai, Papadimitriou and Szwarcfiter)
- Dimension growth, polynomial in the degree (Castryck–Cluckers–Dittmann–Nguyen)
- The Erdős–Szemerédi sunflower conjecture
- Counting Steiner triple systems: Wilson (1974) and Linial–Luria (2013)
- Analysis of a left-shift binary GCD algorithm (Shallit–Sorenson 1994), with a proof of its sum-of-squares conjecture
- Continuity of the phase transition for planar random-cluster and Potts models with 1 <= q <= 4 (Theorems 1, 2 and 3)
- Shelah's bound for the Hales–Jewett numbers
- Iwaniec's linear sieve at the sifting limit and Jacobsthal's problem
- Sums of primes, after Hardy and Littlewood 1923, Partitio Numerorum III, Theorems B to F proved without Hypothesis R
- Conditional on RH: the Cesàro average of the number of Goldbach representations, after Goldston and Yang
- Mann's alpha plus beta theorem for Schnirelmann density, after Mann 1942
- Conditional on RH: the number of Goldbach representations on average, after Languasco and Zaccagnini
- The Bombieri-Vinogradov theorem, Bombieri 1965 and A. I. Vinogradov 1965, classical form with the maximum over y <= x
- Noncrossing Two-Nearest-Predecessor Orders on Nearly Circular Ellipses
- Renyi's theorem, Renyi 1948: every large even number is a prime plus a number with at most 8 prime factors
- Szemerédi's theorem with random differences
- The least physical dimension of an inflation-symmetric model set, with the cubic, quartic and degree-12 inflations of x^3 - x - 1 and x^4 - x - 1
- Sum of sets in several dimensions
- An exact average Goldbach representation formula, after Goldston and Suriajaya
- Helling's theorem: the maximal subgroups of SL₂(ℝ) commensurable with SL₂(ℤ)
- Continuous open images of Polish spaces
- The expander mixing lemma and the Alon–Boppana bound
- Cubic-rate irrationality for reciprocal sums
- Uniform sparse rationalisation of dyadic series
- Infinite rank of the three-prime running-LCM kernel
- An explicit rational-base irrationality region for Zudilin's Lambert series
- Carry and divisor-channel criteria for the factorial-minus-one reciprocal series
- Open Baire-space representation of Polish spaces
- Alexandrov–Urysohn characterization of Baire space
- The Bondy–Simonovits even cycle theorem
- Sharp Quantitative Convergence of Compactly Supported Aggregation-Diffusion
- On Finite Groups with Element Order Set of Width 3
- A Jump-Modified Wasserstein Gradient Flow for Maximum Mean Discrepancy with Energy Kernels
- Affine $G$-multibiquandle modules for colored links I: representability of coloring functors and color-profile polynomials
- A logarithmic regularity criterion for the axisymmetric Navier-Stokes equations
- On the Number of Iterations in a Kruskal-Type Process
- Isotropy sets of periodic geodesic flows on three dimensional manifolds
- Zeros of quadratic Dirichlet $L$-functions
- The Standard Model on a finite bosonic lattice with continuum Weyl fermions