Source ledger
References
837 bibliography records ground the catalog in original papers, established surveys and monographs, institutional problem lists, and formal-proof archives.
Complete bibliography
837 records
- Verner2014LowerStageOpen source ↗
Explicit Runge–Kutta Pairs with Lower Stage-Order
Verner, James H. · 2014 · article
- Butcher2016NumericalMethodsOpen source ↗
Numerical Methods for Ordinary Differential Equations
Butcher, John C. · 2016 · book
- Blondel1994SimultaneousOpen source ↗
Simultaneous Stabilization of Linear Systems
Blondel, Vincent D. · 1994 · book
- WangWangYu2016OpenOpen source ↗
Some Open Problems on Simultaneous Stabilization of Linear Systems
Wang, Li and Wang, Long and Yu, Wensheng · 2016 · article
- CharlesBoston2017ChocolateOpen source ↗
Exploiting Algebraic Structure in Global Optimization and the Belgian Chocolate Problem
Charles, Zachary and Boston, Nigel · 2017 · misc
- Shapley1953StochasticOpen source ↗
Stochastic Games
Shapley, Lloyd S. · 1953 · article
- MertensNeyman1981GamesOpen source ↗
Stochastic Games
Mertens, Jean-Fran{\cc}ois and Neyman, Abraham · 1981 · article
- Vieille2002RecentOpen source ↗
Recent Advances in Stochastic Games
Vieille, Nicolas · 2002 · incollection
- FleschSolan2023EquilibriumOpen source ↗
Equilibrium in Two-Player Stochastic Games with Shift-Invariant Payoffs
Flesch, J\'anos and Solan, Eilon · 2023 · article
- CaragiannisEtAl2019MNWOpen source ↗
The Unreasonable Fairness of Maximum Nash Welfare
Caragiannis, Ioannis and Kurokawa, David and Moulin, Herv\'e and Procaccia, Ariel D. and Shah, Nisarg and Wang, Junxing · 2019 · article
- ChaudhuryGargMehlhorn2024ThreeOpen source ↗
EFX Exists for Three Agents
Chaudhury, Bhaskar Ray and Garg, Jugal and Mehlhorn, Kurt · 2024 · article
- ChaudhuryEtAl2021CharityOpen source ↗
A Little Charity Guarantees Almost Envy-Freeness
Chaudhury, Bhaskar Ray and Kavitha, Telikepalli and Mehlhorn, Kurt and Sgouritsa, Alkmini · 2021 · article
- AfshinmehrEtAl2026MultigraphOpen source ↗
EFX Allocations Exist on Multi-Graphs
Afshinmehr, Mahyar and Ashuri, Arash and Mahmoudkhan, Pouria and Mehlhorn, Kurt and Shahrezaei, Amir Mohammad · 2026 · misc
- Geelen2026CDCOpen source ↗
OpenAI's proof of the Cycle Double Cover Theorem
Jim Geelen · 2026 · misc
- Oum2026CDCOpen source ↗
A proof of the cycle double cover conjecture by OpenAI: An exposition
Sang-il Oum · 2026 · misc
- Carmesin2026CDCOpen source ↗
The cycle double cover theorem
Johannes Carmesin · 2026 · online
- SilvaAlvarado2026BalanceClaimOpen source ↗
Causal Flow Equations and the 1/3–2/3 Conjecture: Exact Resolution for Low Bottleneck Count
Juan Pablo Silva Alvarado · 2026 · misc
Current narrowed version under concept DOI 10.5281/zenodo.18985093; the case of four or more bottlenecks is left open
- SilvaAlvarado2026BalanceFullClaimOpen source ↗
The 1/3–2/3 Poset Conjecture: Proof via Bottleneck Dichotomy and Order Polytope Geometry
Juan Pablo Silva Alvarado · 2026 · misc
Superseded first version; its advertised full theorem is conditional on an unproved Stanley Geometric Identity axiom
- Hintz2026KerrOpen source ↗
Nonlinear stability of subextremal Kerr black holes
Peter Hintz · 2026 · misc
- Hintz2026ConstraintDampingOpen source ↗
Constraint damping for the Einstein equations in the full subextremal Kerr range
Peter Hintz · 2026 · misc
- Hintz2026WavesIIOpen source ↗
(Non-)Linear waves on asymptotically Kerr spacetimes. II: Tame forward estimates
Peter Hintz · 2026 · misc
- KlartagLehec2025ThinShellOpen source ↗
Thin-shell bounds via parallel coupling
Boaz Klartag and Joseph Lehec · 2025 · misc
- ChenKlartag2026ThinShellOpen source ↗
Digesting the proof of the sharp thin-shell inequality
Yuansi Chen and Boaz Klartag · 2026 · misc
- RiosSawyer2025ParaboloidClaimOpen source ↗
Disjoint multilinear discrete characterizations of the Fourier extension conjecture
Cristian Rios and Eric T. Sawyer · 2026 · misc
Version 8 explicitly retracts the earlier full-proof claim because of an uncontrolled error term
- Xu2025SpacetimePenroseClaimOpen source ↗
The Spacetime Penrose Inequality: Conditional Results for Stable MOTS and General Trapped Surfaces
Da Xu · 2025 · misc
Current version 5 supersedes the unconditional version 1 claim
- Ellithy2026PenrosePartialOpen source ↗
The spacetime Penrose inequality under a quasi final state hypothesis
Ahmed Ellithy · 2026 · misc
- GuilfoyleKlingenberg2025CaratheodoryOpen source ↗
The three obdurate conjectures of differential geometry
Brendan Guilfoyle and Wilhelm Klingenberg · 2025 · misc
- GuilfoyleKlingenberg2008CaratheodoryOpen source ↗
Proof of the Caratheodory Conjecture
Brendan Guilfoyle and Wilhelm Klingenberg · 2008 · misc
Version 4, October 2024, claims the theorem for -smooth surfaces
- Mochizuki2021IUTIVOpen source ↗
Inter-universal Teichmüller theory IV: Log-volume computations and set-theoretic foundations
Shinichi Mochizuki · 2021 · article
- ScholzeStix2018ABCOpen source ↗
Why abc is still a conjecture
Peter Scholze and Jakob Stix · 2018 · misc
- LANA2026IUTOpen source ↗
Project LANA Interim Report on IUT Theory
Project LANA · 2026 · online
- HolmesWilshaw2026NFOpen source ↗
New Foundations is consistent
Randall Holmes and Sky Wilshaw · 2026 · misc
- ConNFLean2026Open source ↗
New Foundations is consistent: formalization and blueprint
Lean Prover Community · 2026 · online
- McCallum2026ReinhardtOpen source ↗
Inconsistency of Reinhardt cardinals with ZF
Rupert McCallum · 2026 · misc
- HuqKuruvilla2026Char2Open source ↗
An explicit characteristic-2 counterexample to the separable Jacobian conjecture
Irit Huq-Kuruvilla · 2026 · misc
- MengYang2026HessianOpen source ↗
A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures
Guowu Meng and Liang Yang · 2026 · misc
- OpenAI2026TenAdvancesOpen source ↗
Ten advances in mathematics
OpenAI · 2026 · online
Announcement page; the bundled 249-page manuscript is at \urlhttps://cdn.openai.com/pdf/ten-proofs-oai.pdf
- Masser1985ABC
Open Problems
David W. Masser · 1985 · misc
- Granville1998ABCOpen source ↗
ABC Allows Us to Count Squarefrees
Andrew Granville · 1998 · article
- Weiss2000Sofic
Sofic Groups and Dynamical Systems
Benjamin Weiss · 2000 · article
- Pestov2008SoficHyperlinearOpen source ↗
Hyperlinear and Sofic Groups: A Brief Guide
Vladimir G. Pestov · 2008 · article
- HeilRamanathanTopiwala1996HRTOpen source ↗
Linear Independence of Time-Frequency Translates
Christopher Heil and Jayakumar Ramanathan and Pankaj Topiwala · 1996 · article
- GuanOkoudjou2026HRTOpen source ↗
The HRT Conjecture for Symmetric Configurations and Real-Valued Functions
Shuang Guan and Kasso A. Okoudjou · 2026 · misc
- Radulescu2008HyperlinearOpen source ↗
The von Neumann Algebra of the Non-Residuated Baumslag Group
Florin R\uadulescu · 2008 · article
- Popa2007DeformationRigidity
Deformation and Rigidity for Group Actions and von Neumann Algebras
Sorin Popa · 2007 · inproceedings
- Connes1982ClassificationOpen source ↗
Classification des facteurs
Alain Connes · 1982 · misc
- CleveEtAl2004NonlocalGamesOpen source ↗
Consequences and Limits of Nonlocal Strategies
Richard Cleve and Peter H\o yer and Ben Toner and John Watrous · 2004 · inproceedings
- Yuen2016ParallelRepetitionOpen source ↗
A Parallel Repetition Theorem for All Entangled Games
Henry Yuen · 2016 · inproceedings