HomeReferences

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

  1. Verner2014LowerStage

    Explicit Runge–Kutta Pairs with Lower Stage-Order

    Verner, James H. · 2014 · article

    Open source ↗
  2. Butcher2016NumericalMethodsOpen source ↗
  3. Blondel1994Simultaneous

    Simultaneous Stabilization of Linear Systems

    Blondel, Vincent D. · 1994 · book

    Open source ↗
  4. WangWangYu2016Open

    Some Open Problems on Simultaneous Stabilization of Linear Systems

    Wang, Li and Wang, Long and Yu, Wensheng · 2016 · article

    Open source ↗
  5. CharlesBoston2017ChocolateOpen source ↗
  6. Shapley1953Stochastic

    Stochastic Games

    Shapley, Lloyd S. · 1953 · article

    Open source ↗
  7. MertensNeyman1981Games

    Stochastic Games

    Mertens, Jean-Fran{\cc}ois and Neyman, Abraham · 1981 · article

    Open source ↗
  8. Vieille2002Recent

    Recent Advances in Stochastic Games

    Vieille, Nicolas · 2002 · incollection

    Open source ↗
  9. FleschSolan2023Equilibrium

    Equilibrium in Two-Player Stochastic Games with Shift-Invariant Payoffs

    Flesch, J\'anos and Solan, Eilon · 2023 · article

    Open source ↗
  10. CaragiannisEtAl2019MNW

    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

    Open source ↗
  11. ChaudhuryGargMehlhorn2024Three

    EFX Exists for Three Agents

    Chaudhury, Bhaskar Ray and Garg, Jugal and Mehlhorn, Kurt · 2024 · article

    Open source ↗
  12. ChaudhuryEtAl2021Charity

    A Little Charity Guarantees Almost Envy-Freeness

    Chaudhury, Bhaskar Ray and Kavitha, Telikepalli and Mehlhorn, Kurt and Sgouritsa, Alkmini · 2021 · article

    Open source ↗
  13. AfshinmehrEtAl2026Multigraph

    EFX Allocations Exist on Multi-Graphs

    Afshinmehr, Mahyar and Ashuri, Arash and Mahmoudkhan, Pouria and Mehlhorn, Kurt and Shahrezaei, Amir Mohammad · 2026 · misc

    Open source ↗
  14. Geelen2026CDCOpen source ↗
  15. Oum2026CDCOpen source ↗
  16. Carmesin2026CDC

    The cycle double cover theorem

    Johannes Carmesin · 2026 · online

    Open source ↗
  17. SilvaAlvarado2026BalanceClaim

    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

    Open source ↗
  18. SilvaAlvarado2026BalanceFullClaim

    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

    Open source ↗
  19. Hintz2026KerrOpen source ↗
  20. Hintz2026ConstraintDampingOpen source ↗
  21. Hintz2026WavesIIOpen source ↗
  22. KlartagLehec2025ThinShell

    Thin-shell bounds via parallel coupling

    Boaz Klartag and Joseph Lehec · 2025 · misc

    Open source ↗
  23. ChenKlartag2026ThinShell

    Digesting the proof of the sharp thin-shell inequality

    Yuansi Chen and Boaz Klartag · 2026 · misc

    Open source ↗
  24. RiosSawyer2025ParaboloidClaim

    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

    Open source ↗
  25. Xu2025SpacetimePenroseClaim

    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

    Open source ↗
  26. Ellithy2026PenrosePartialOpen source ↗
  27. GuilfoyleKlingenberg2025Caratheodory

    The three obdurate conjectures of differential geometry

    Brendan Guilfoyle and Wilhelm Klingenberg · 2025 · misc

    Open source ↗
  28. GuilfoyleKlingenberg2008Caratheodory

    Proof of the Caratheodory Conjecture

    Brendan Guilfoyle and Wilhelm Klingenberg · 2008 · misc

    Version 4, October 2024, claims the theorem for C3+αC^{3+\alpha}-smooth surfaces

    Open source ↗
  29. Mochizuki2021IUTIVOpen source ↗
  30. ScholzeStix2018ABC

    Why abc is still a conjecture

    Peter Scholze and Jakob Stix · 2018 · misc

    Open source ↗
  31. LANA2026IUT

    Project LANA Interim Report on IUT Theory

    Project LANA · 2026 · online

    Open source ↗
  32. HolmesWilshaw2026NF

    New Foundations is consistent

    Randall Holmes and Sky Wilshaw · 2026 · misc

    Open source ↗
  33. ConNFLean2026

    New Foundations is consistent: formalization and blueprint

    Lean Prover Community · 2026 · online

    Open source ↗
  34. McCallum2026Reinhardt

    Inconsistency of Reinhardt cardinals with ZF

    Rupert McCallum · 2026 · misc

    Open source ↗
  35. HuqKuruvilla2026Char2Open source ↗
  36. MengYang2026HessianOpen source ↗
  37. OpenAI2026TenAdvances

    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

    Open source ↗
  38. Masser1985ABC

    Open Problems

    David W. Masser · 1985 · misc

  39. Granville1998ABC

    ABC Allows Us to Count Squarefrees

    Andrew Granville · 1998 · article

    Open source ↗
  40. Weiss2000Sofic

    Sofic Groups and Dynamical Systems

    Benjamin Weiss · 2000 · article

  41. Pestov2008SoficHyperlinear

    Hyperlinear and Sofic Groups: A Brief Guide

    Vladimir G. Pestov · 2008 · article

    Open source ↗
  42. HeilRamanathanTopiwala1996HRT

    Linear Independence of Time-Frequency Translates

    Christopher Heil and Jayakumar Ramanathan and Pankaj Topiwala · 1996 · article

    Open source ↗
  43. GuanOkoudjou2026HRT

    The HRT Conjecture for Symmetric Configurations and Real-Valued Functions

    Shuang Guan and Kasso A. Okoudjou · 2026 · misc

    Open source ↗
  44. Radulescu2008HyperlinearOpen source ↗
  45. Popa2007DeformationRigidity
  46. Connes1982Classification

    Classification des facteurs

    Alain Connes · 1982 · misc

    Open source ↗
  47. CleveEtAl2004NonlocalGames

    Consequences and Limits of Nonlocal Strategies

    Richard Cleve and Peter H\o yer and Ben Toner and John Watrous · 2004 · inproceedings

    Open source ↗
  48. Yuen2016ParallelRepetitionOpen source ↗