HomeReferences

Source ledger

References

918 bibliography records ground the catalog in original papers, established surveys and monographs, institutional problem lists, and formal-proof archives.

Complete bibliography

918 records

  1. Carmesin2026CDC

    The cycle double cover theorem

    Johannes Carmesin · 2026 · online

    Open source ↗
  2. 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 ↗
  3. 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 ↗
  4. Hintz2026KerrOpen source ↗
  5. Hintz2026ConstraintDampingOpen source ↗
  6. Hintz2026WavesIIOpen source ↗
  7. KlartagLehec2025ThinShell

    Thin-shell bounds via parallel coupling

    Boaz Klartag and Joseph Lehec · 2025 · misc

    Open source ↗
  8. ChenKlartag2026ThinShell

    Digesting the proof of the sharp thin-shell inequality

    Yuansi Chen and Boaz Klartag · 2026 · misc

    Open source ↗
  9. 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 ↗
  10. 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 ↗
  11. Ellithy2026PenrosePartialOpen source ↗
  12. GuilfoyleKlingenberg2025Caratheodory

    The three obdurate conjectures of differential geometry

    Brendan Guilfoyle and Wilhelm Klingenberg · 2025 · misc

    Open source ↗
  13. 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 ↗
  14. Mochizuki2021IUTIVOpen source ↗
  15. ScholzeStix2018ABC

    Why abc is still a conjecture

    Peter Scholze and Jakob Stix · 2018 · misc

    Open source ↗
  16. LANA2026IUT

    Project LANA Interim Report on IUT Theory

    Project LANA · 2026 · online

    Open source ↗
  17. HolmesWilshaw2026NF

    New Foundations is consistent

    Randall Holmes and Sky Wilshaw · 2026 · misc

    Open source ↗
  18. ConNFLean2026

    New Foundations is consistent: formalization and blueprint

    Lean Prover Community · 2026 · online

    Open source ↗
  19. McCallum2026Reinhardt

    Inconsistency of Reinhardt cardinals with ZF

    Rupert McCallum · 2026 · misc

    Open source ↗
  20. HuqKuruvilla2026Char2Open source ↗
  21. MengYang2026HessianOpen source ↗
  22. 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 ↗
  23. Masser1985ABC

    Open Problems

    David W. Masser · 1985 · misc

  24. Granville1998ABC

    ABC Allows Us to Count Squarefrees

    Andrew Granville · 1998 · article

    Open source ↗
  25. Weiss2000Sofic

    Sofic Groups and Dynamical Systems

    Benjamin Weiss · 2000 · article

  26. Pestov2008SoficHyperlinear

    Hyperlinear and Sofic Groups: A Brief Guide

    Vladimir G. Pestov · 2008 · article

    Open source ↗
  27. HeilRamanathanTopiwala1996HRT

    Linear Independence of Time-Frequency Translates

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

    Open source ↗
  28. GuanOkoudjou2026HRT

    The HRT Conjecture for Symmetric Configurations and Real-Valued Functions

    Shuang Guan and Kasso A. Okoudjou · 2026 · misc

    Open source ↗
  29. Radulescu2008HyperlinearOpen source ↗
  30. Popa2007DeformationRigidity
  31. Connes1982Classification

    Classification des facteurs

    Alain Connes · 1982 · misc

    Open source ↗
  32. CleveEtAl2004NonlocalGames

    Consequences and Limits of Nonlocal Strategies

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

    Open source ↗
  33. Yuen2016ParallelRepetitionOpen source ↗
  34. BavarianVidickYuen2017Anchored

    Anchoring Games for Parallel Repetition

    Mohammad Bavarian and Thomas Vidick and Henry Yuen · 2017 · inproceedings

    Open source ↗
  35. DinurEtAl2003CVP

    Approximating CVP to Within Almost-Polynomial Factors is NP-Hard

    Irit Dinur and Guy Kindler and Ran Raz and Shmuel Safra · 2003 · article

    Open source ↗
  36. Ehrhart1964Volume
  37. NillPaffenholz2014Ehrhart

    On the Equality Case in Ehrhart's Volume Conjecture

    Benjamin Nill and Andreas Paffenholz · 2014 · article

    Open source ↗
  38. ErdosSimonovits1982Compactness

    Compactness Results in Extremal Graph Theory

    Paul Erd\Hos and Mikl\'os Simonovits · 1982 · article

    Open source ↗
  39. FurediSimonovits2013Degenerate

    The History of Degenerate (Bipartite) Extremal Graph Problems

    Zolt\'an F\"uredi and Mikl\'os Simonovits · 2013 · article

    Open source ↗
  40. KabatianskyLevenshtein1978Bounds

    Bounds for Packings on a Sphere and in Space

    Grigory A. Kabatiansky and Vladimir I. Levenshtein · 1978 · article

  41. Shannon1959SpherePackingOpen source ↗
  42. Grimmett1999Percolation

    Percolation

    Geoffrey Grimmett · 1999 · book

    Open source ↗
  43. KozmaNitzan2024CriticalPercolationOpen source ↗
  44. DaskalakisEtAl2009Nash

    The Complexity of Computing a Nash Equilibrium

    Constantinos Daskalakis and Paul W. Goldberg and Christos H. Papadimitriou · 2009 · article

    Open source ↗
  45. Papadimitriou1994PPADOpen source ↗
  46. BravermanEtAl2017LiLi

    From Information to Exact Communication

    Mark Braverman and Ankit Garg and Ariel Schvartzman · 2017 · inproceedings

    Open source ↗
  47. LiLi2004NetworkCoding

    Network Coding: The Case of Multiple Unicast Sessions

    Zongpeng Li and Baochun Li · 2004 · article

  48. Gottschalk1973Surjunctive

    Some General Dynamical Notions

    Walter Gottschalk · 1973 · article