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
- BavarianVidickYuen2017AnchoredOpen source ↗
Anchoring Games for Parallel Repetition
Mohammad Bavarian and Thomas Vidick and Henry Yuen · 2017 · inproceedings
- DinurEtAl2003CVPOpen source ↗
Approximating CVP to Within Almost-Polynomial Factors is NP-Hard
Irit Dinur and Guy Kindler and Ran Raz and Shmuel Safra · 2003 · article
- Ehrhart1964Volume
Une g\'en\'eralisation probable du th\'eor\`eme fondamental de Minkowski
Eug\`ene Ehrhart · 1964 · article
- NillPaffenholz2014EhrhartOpen source ↗
On the Equality Case in Ehrhart's Volume Conjecture
Benjamin Nill and Andreas Paffenholz · 2014 · article
- ErdosSimonovits1982CompactnessOpen source ↗
Compactness Results in Extremal Graph Theory
Paul Erd\Hos and Mikl\'os Simonovits · 1982 · article
- FurediSimonovits2013DegenerateOpen source ↗
The History of Degenerate (Bipartite) Extremal Graph Problems
Zolt\'an F\"uredi and Mikl\'os Simonovits · 2013 · article
- KabatianskyLevenshtein1978Bounds
Bounds for Packings on a Sphere and in Space
Grigory A. Kabatiansky and Vladimir I. Levenshtein · 1978 · article
- Shannon1959SpherePackingOpen source ↗
Probability of Error for Optimal Codes in a Gaussian Channel
Claude E. Shannon · 1959 · article
- Grimmett1999PercolationOpen source ↗
Percolation
Geoffrey Grimmett · 1999 · book
- KozmaNitzan2024CriticalPercolationOpen source ↗
A Reduction of the Problem to a Conjectured Inequality
Gady Kozma and Shahaf Nitzan · 2024 · misc
- DaskalakisEtAl2009NashOpen source ↗
The Complexity of Computing a Nash Equilibrium
Constantinos Daskalakis and Paul W. Goldberg and Christos H. Papadimitriou · 2009 · article
- Papadimitriou1994PPADOpen source ↗
On the Complexity of the Parity Argument and Other Inefficient Proofs of Existence
Christos H. Papadimitriou · 1994 · article
- BravermanEtAl2017LiLiOpen source ↗
From Information to Exact Communication
Mark Braverman and Ankit Garg and Ariel Schvartzman · 2017 · inproceedings
- LiLi2004NetworkCoding
Network Coding: The Case of Multiple Unicast Sessions
Zongpeng Li and Baochun Li · 2004 · article
- Gottschalk1973Surjunctive
Some General Dynamical Notions
Walter Gottschalk · 1973 · article
- Kunen1971InconsistencyOpen source ↗
Elementary Embeddings and Infinitary Combinatorics
Kenneth Kunen · 1971 · article
- Kanamori2003HigherInfiniteOpen source ↗
The Higher Infinite
Akihiro Kanamori · 2003 · book
- JiEtAl2021MIPREOpen source ↗
MIP$^*=RE$
Zhengfeng Ji and Anand Natarajan and Thomas Vidick and John Wright and Henry Yuen · 2021 · article
- Hamburger1940CaratheodoryOpen source ↗
Beweis einer Carath\'eodoryschen Vermutung
Hans Hamburger · 1940 · article
- KovariSosTuran1954Open source ↗
On a Problem of K. Zarankiewicz
Tam\'as K\Hov\'ari and Vera T. S\'os and P\'al Tur\'an · 1954 · article
- Furedi1996ZarankiewiczOpen source ↗
An Upper Bound on Zarankiewicz's Problem
Zolt\'an F\"uredi · 1996 · article