euler-ai
Implementing mathematical theorems and algorithms from arXiv research papers.
About
Implementing mathematical theorems and algorithms from arXiv research papers.
Gradient Estimates for Singular-Degenerate Elliptic Equations with Solution-Dependent Coefficients
The closure of the nonreal roots of bounded-height polynomials is connected exactly at pronic heights
A complete symmetric rank-two modularity classification, obtained through a sharp uniform degree bound
Unconditional Uniqueness of KdV and mKdV Green Solutions at Low Regularity
Global Two-Sided Estimates for Time-Fractional Diffusion Kernels on Hyperbolic Space
A Central Limit Theorem For Random Variables Under A Constraint
Improved Index and Intersection bounds for Min-Max Geodesics
On do Carmo's Question: The Properly Embedded Case
Almost sure bounds and tail phases for critical non-Gaussian holomorphic chaos
Sublinear multi-type preferential attachment
Using topology to reveal all mutually unbiased bases in dimension six
Transfer of Weisfeiler-Leman equivalence under graph operations
Get Permanent Results Faster by Counting Stars
On the Iwasawa invariants of admissible quadratic twists of elliptic curves at ordinary Eisenstein primes
On Zeros and Algorithms for Disordered Systems II: The Antiferromagnetic Ising Model up to Kesten-Stigum
Critical Robin Problems on Manifolds with Noncompact Boundary
A self-normalized law of the iterated logarithm for Rademacher random multiplicative functions
Multicomplexes in Action: Strong Formality of Compact Hyperkähler Manifolds