Tips on using this search form
- All search terms are case-insensitive
- If you specify more than one search option (e.g. you search for both "Authors" and "Paper title") then the publications returned will be those that match all of your search terms
- To reset the search form, click here
- Currently displaying 1 - 20 of 4673 publications
Monoidal bicategories, differential linear logic, and analytic functors
– Journal of the European Mathematical Society
(2026)
(doi: 10.4171/jems/1810)
Fast PAC Global Optimization via Restarted Langevin: Exploration, Exploitation, and Degenerate Cooling
(2026)
The Sample Complexity of Lossless Data Compression
– IEEE Transactions on Information Theory
(2026)
PP,
1
(doi: 10.1109/tit.2026.3730180)
Poincaré inequality and quantitative De Giorgi method for hypoelliptic operators
– Journal de l’École polytechnique — Mathématiques
(2026)
13,
1393
(doi: 10.5802/jep.350)
Manin's conjecture for integral points on toric varieties
– Proceedings of the London Mathematical Society
(2026)
133,
e70203
(doi: 10.1112/plms.70203)
Bateman–Horn, polynomial Chowla and the Hasse principle with probability 1
– Journal für die reine und angewandte Mathematik (Crelles Journal)
(2026)
(doi: 10.1515/crelle-2026-0062)
Stable cohomology of congruence subgroups
– Compositio Mathematica
(2026)
162,
1274
(doi: 10.1017/s0010437x26103315)
Splitting Symplectic Monodromy
– Symmetry, Integrability and Geometry: Methods and Applications
(2026)
22,
1
(doi: 10.3842/SIGMA.2026.080)
Counterfactual Optimization of Policy Interventions: Lexical Ordering and Leapfrogging
(2026)
Characterisation of some multivalued harmonic functions on $\mathbb{R}^{n}$
(2026)
Equivariant line bundles with connection on the p-adic upper half-plane
– Algebra and Number Theory
(2026)
20,
1385
(doi: 10.2140/ant.2026.20.1385)
From Tropical Curves to Special Lagrangians
– The Quarterly Journal of Mathematics
(2026)
77,
haag028
(doi: 10.1093/qmath/haag028)
A random polynomial with multiplicative coefficients is almost surely irreducible
– International Mathematics Research Notices
(2026)
2026,
rnag178
(doi: 10.1093/imrn/rnag178)
Human agency in initial human-AI proof formalization workflows
(2026)
(doi: 10.48550/arxiv.2606.04273)