86,763 records
- Counterexamples to Hironaka's Characteristic-$p$ Resolution: A Report On Queries to Frontier Agents
- A Proof of McLeod's 1959 Conjecture on Complete Homogeneous Symmetric Ratios
- On Lin's Arithmetic–Geometric Means Conjecture for Singular Values
- A Spectral Blakley–Roy Inequality for Nonnegative Matrices
- A true theorem Lean can state but can never verify
- Universal Support Theorems for Resilient Coverage
- Cowling’s conjecture: the almost connected case
- Analytic symmetric floating bodies
- A lattice-theoretic approach to the abc conjecture: Weighted arithmetic derivatives, a master inequality, and the structure of the residual family
- Automated Conjecturing: Generation, Selection and Evaluation
- A lower bound for the sixth moment of the Riemann zeta function
- A Boolean Lévy group with a free nonsingular action
- $C_2$-cofiniteness of finite-group orbifolds
- Infinite divisibility of hitting times for symmetric stable processes
- Asymptotic growth of rank-two scattering coefficients in the Badlands
- Laurent and g-vector counterexamples for quivers with homotopies
- Near-Null Limits and Contact Distributions for Maxwell Composite Operators
- Davenport constants with growing binary rank
- Three cubic trinomial series for $1/\pi$
- Algebraicity of rank-two scattering wall functions
- An Integral-Structure Inflation in the Hull Operation of IUT Corollary 3.12
- A bridge between analysis on local fields and quantum groups: the compact case
- A bridge between analysis on local fields and quantum groups: the noncompact case
- Symmetric Volume Descent from U4 and a Four-Dimensional Lower Bound
- Power-Kernel Fluctuations, the Lambert W Subpolynomial Source, and a Local CRT Conditional Law
- Polynomial parametrization of quadratic Diophantine equations: decision and construction
- Non-Archimedean John, Non-Archimedean Dvoretzky-Milman, Non-Archimedean Type-Cotype and Non-Archimedean Kwapien Problems
- Collision Geometry and Holonomy of Finite Blaschke Model Spaces
- An improved zero-free half-plane for Hecke L-functions over number fields and Quasi-Riemann Hypothesis
- Riemannian three-manifolds as hypersurfaces of Euclidean four-space: the realizability operator, its symbol, and its linearisation at the round sphere
- The random graph ideal and fractional coloring
- Integral crystalline Tate classes of codimension two at supersingular points of Mumford's fourfolds
- Affine profile reduction for fractional triangle packings in split graphs
- Generic strongly transitive sequences in weakly mixing Polish systems
- Self-similar counterexamples to three conjectures of Lorentz
- Linked-site block laws of all lengths identify the collapsed mutation-scaled genealogy
- Complete-split extremizers for the fractional triangle-cover deficit on chordal graphs
- Formalizing Delcourt–Postle’s refined absorption in Lean
- Linear-error clique partitions of split graphs
- The Corrádi–Hajnal theorem on vertex-disjoint cycles
- The Moser–Tardos theorem (algorithmic Lovász Local Lemma)
- A kernel-checked implementation of the biallelic two-locus sampling recursion, and a table checker
- A prespecified betting test of panmixia against a two-deme history: size and power
- An upper bound on the denominators of solutions of the two-locus sampling recursion
- The Ewens sampling formula and its generative urn
- QuadraticFloor: quadratic floor sums and the trace of a quartic Bernoulli number
- Three omitted values and non-Blaschke point divisors in half-planes
- Graph isomorphism in quasipolynomial time on a single-tape Turing machine
- lie-trotter-lean
- An explicit block-recursive formula for solutions of the two-locus sampling recursion