538 records
- On the scope of computability and formal axiomatic systems
- Nonconstant congruence speeds of integer tetration: period spectra, prime bases, explicit bounds, and densities
- The sharp iid Berry–Esseen inequality: Analytic reductions and exact certificate proof
- Integrality of iterated averages and pointwise prime powers
- Stability and Convergence of a Regularized Immersed Boundary Method under Dynamic Cartesian Refinement. Part II: General Prescribed Motion
- Stability and Convergence of a Regularized Immersed Boundary Method under Dynamic Cartesian Refinement. Part III: Fluid-Driven Rigid-Body Motion
- Subexponential Weighted Counting and Exact Optimisation
- Metric, Schauder and Operator-Valued Frames
- A logarithmic error term for subset sums of zero-sum-free sets
- Deterministic Factoring in Time $N^{o(1)}$
- Collision Systems, with Applications to Geodesic Networks and Point Billiards
- Tsallis Metrics on Density Matrices via the S-Divergence
- Biperfectness of the theta basis of a maximal unipotent subgroup
- The Euclidean algorithm is not optimal among uniform processes
- FINITE LENGTH DATA DO NOT UNIVERSALLY DETERMINE FLAT THREE-TORI EXPLICIT CONSTRUCTIONS, PROOFS, AND A CAUTION FOR COSMIC TOPOLOGY
- A computer-assisted proof of the four-uniform Erdős matching conjecture
- Existence of the $q$-Colorability Threshold for Sparse Random Graphs
- Dynamics of the spherical Sherrington–Kirkpatrick model, Part I: Foundations and tools
- Dynamics of the spherical Sherrington–Kirkpatrick model, Part II: Mixing profiles and critical dynamics
- Continuity, Testing Regions and Fragility of Quantum Channel Divergences
- Equality of the Jellium and the Uniform Electron Gas Energies
- What Does the Refutation of the Exponential Time Hypothesis Mean for Learning Theory?
- The Mirković–Vilonen basis and cluster pointedness
- Factorial denominators of rank-two scattering coefficients
- Binary Reconstruction from the Fourth Deck: Torsion Phases, Local Gluing, and Sign Extinction
- Natural Cohomology of General Steiner Bundles
- From Döblin to Aleksandrov
- Universal test rings for rational Gersten injectivity
- Positive definite functions of noncommuting contractions, Hua-Bellman matrices, and a new distance metric
- 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