The mathematics inside arXiv papers
Each definition, theorem, lemma, proof, conjecture and problem of 824 mathematics papers, read from the LaTeX source of the paper, numbered as the paper numbers them, and linked to the items it uses.
The corpus counts 141,723 papers in scope. This site has the papers that the pipeline has extracted so far, and it grows each hour. 824 of the 824 papers have a licence that lets the site show their text. How the licences work.
Recent papers
-
On exponential sums with multiplicative coefficients
27 statements26 proofs1 conjecture
-
Stratification of opers with apparent singularities and isomonodromic bubbling
7 definitions41 statements26 proofs
-
Differential equations as difference-differential equations
23 definitions34 statements30 proofs
-
Classical Capacity of Single-Mode Bosonic Gaussian Channels
19 statements13 proofs
-
Automorphic Dirac Operators and an Analogue of the Quantum Harmonic Oscillator on \Gamma \backslash \mathfrak{H}
6 statements5 proofs
-
Extending Donaldson’s HyperKähler Structure via Minimal Surfaces into \mathrm{PSL}(2,\mathbb{C})
22 definitions76 statements49 proofs
-
Counterexamples to the ordinary Fried conjecture near hyperbolic metrics
4 statements4 proofs
-
The Information Bottleneck is NP-hard
1 definition20 statements17 proofs3 problems
-
Uniform Intersection Numbers and Subgroup-Based Generating Graphs of Groups
4 definitions46 statements32 proofs
-
An infinite completely normal basis theorem
22 statements18 proofs
-
Query-Efficient Rejection Sampling for Parallel Masked Diffusion
1 definition
-
Transference theory for the trilinear restriction estimate and an application to the quadratic NLS in 3D
2 definitions12 statements6 proofs