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
- Toeplitz1911SquarePegOpen source ↗
Ueber einige Aufgaben der Analysis situs
Otto Toeplitz · 1911 · misc
Verhandlungen der Schweizerischen Naturforschenden Gesellschaft in Solothurn 94 (1911), 197.
- Matschke2014SquarePegOpen source ↗
A Survey on the Square Peg Problem
Benjamin Matschke · 2014 · misc
Notices of the American Mathematical Society 61 (2014), no. 4, 346–352.
- Chambers2025SquarePegOpen source ↗
On the Square Peg Problem
Gregory R. Chambers · 2025 · misc
Discrete and Computational Geometry 73 (2025), 1144–1153.
- Kneser1955PoulsenOpen source ↗
Einige Bemerkungen über das Minkowskische Flächenmaß
Martin Kneser · 1955 · misc
Archiv der Mathematik 6 (1955), 382–390.
- Csikos1998BallsOpen source ↗
On the Volume of the Union of Balls
Balázs Csikós · 1998 · misc
Discrete and Computational Geometry 20 (1998), 449–461.
- BezdekConnelly2002KneserPoulsenOpen source ↗
Pushing disks apart–-the Kneser–Poulsen conjecture in the plane
Károly Bezdek and Robert Connelly · 2002 · misc
Journal für die reine und angewandte Mathematik 553 (2002), 221–236.
- BezdekLangi2026BallSurveyOpen source ↗
Selected topics from the theory of intersections of balls
Károly Bezdek and Zsolt Lángi and Márton Naszódi · 2026 · misc
Discrete Applied Mathematics 382 (2026), 60–82.
- Segre1955OvalsOpen source ↗
Ovals in a Finite Projective Plane
Beniamino Segre · 1955 · misc
Canadian Journal of Mathematics 7 (1955), 414–416.
- Ball2012MDSOpen source ↗
On sets of vectors of a finite vector space in which every subset of basis size is a basis
Simeon Ball · 2012 · misc
Journal of the European Mathematical Society 14 (2012), 733–748.
- BallDeBeule2012MDSOpen source ↗
On sets of vectors of a finite vector space in which every subset of basis size is a basis II
Simeon Ball and Jan De Beule · 2012 · misc
Designs, Codes and Cryptography 65 (2012), 5–14.
- HanRen2024MDSOpen source ↗
The Maximal Length of $q$-ary MDS Elliptic Codes Is Close to $q-2$
Dongchun Han and Yuan Ren · 2024 · misc
International Mathematics Research Notices 2024, no. 11, 9036–9043.
- Condon1992StochasticGamesOpen source ↗
The Complexity of Stochastic Games
Anne Condon · 1992 · misc
Information and Computation 96 (1992), 203–224.
- Ludwig1995SSGOpen source ↗
A Subexponential Randomized Algorithm for the Simple Stochastic Game Problem
Walter Ludwig · 1995 · misc
Information and Computation 117 (1995), 151–155.
- GartnerHaslebacherHoang2026SSGOpen source ↗
Sinks and Ladders: ARRIVAL and SSG with Two Vertices per Level
Bernd Gärtner and Sebastian Haslebacher and Hung P. Hoang · 2026 · misc
13th International Conference on Fun with Algorithms, LIPIcs 366 (2026), article 19, 19:1–19:16.
- Feige2002Random3SATOpen source ↗
Relations between average case complexity and approximation complexity
Uriel Feige · 2002 · misc
Proceedings of the 34th Annual ACM Symposium on Theory of Computing, 534–543.
- FeigeOfek2007RefutationOpen source ↗
Easily refutable subformulas of large random 3CNF formulas
Uriel Feige and Eran Ofek · 2007 · misc
Theory of Computing 3 (2007), 25–43.
- RaghavendraSteurer2010SSEOpen source ↗
Graph expansion and the Unique Games Conjecture
Prasad Raghavendra and David Steurer · 2010 · misc
Proceedings of the 42nd ACM Symposium on Theory of Computing, 755–764.
- RaghavendraSteurerTulsiani2012SSEOpen source ↗
Reductions Between Expansion Problems
Prasad Raghavendra and David Steurer and Madhur Tulsiani · 2012 · misc
Proceedings of the 27th IEEE Conference on Computational Complexity, 64–73.
- AroraBarakSteurer2015SSEOpen source ↗
Subexponential Algorithms for Unique Games and Related Problems
Sanjeev Arora and Boaz Barak and David Steurer · 2015 · misc
Journal of the ACM 62 (2015), no. 5, article 42, 1–25.
- BeckFiala1981IntegerMakingOpen source ↗
Integer-making theorems
Jozsef Beck and Tibor Fiala · 1981 · misc
Discrete Applied Mathematics 3 (1981), 1–8.
- Banaszczyk1998BalancingOpen source ↗
Balancing vectors and Gaussian measures of $n$-dimensional convex bodies
Wojciech Banaszczyk · 1998 · misc
Random Structures and Algorithms 12 (1998), 351–360.
- BansalJiang2025DecouplingOpen source ↗
Decoupling via affine spectral-independence: Beck–Fiala and Komlos bounds beyond Banaszczyk
Nikhil Bansal and Haotian Jiang · 2025 · misc
arXiv:2508.03961v2.
- AltschulerTikhomirov2026OnlineBeckFialaOpen source ↗
Online Beck–Fiala down to logarithmic sparsity
Dylan J. Altschuler and Konstantin Tikhomirov · 2026 · misc
arXiv:2607.14238; extends the offline conjecture to sparsity at least $\log(T)^1+o(1)$ and proves an online prefix-discrepancy result.
- Spencer1994TenLectures
Ten Lectures on the Probabilistic Method
Joel Spencer · 1994 · misc
Second edition, CBMS-NSF Regional Conference Series in Applied Mathematics 64, SIAM.
- BansalDadushGarg2016KomlosOpen source ↗
An algorithm for Komlos conjecture matching Banaszczyk's bound
Nikhil Bansal and Daniel Dadush and Shashwat Garg · 2016 · misc
Proceedings of FOCS 2016, 788–799.
- BruckRyser1949NonexistenceOpen source ↗
The nonexistence of certain finite projective planes
Richard H. Bruck and Herbert J. Ryser · 1949 · misc
Canadian Journal of Mathematics 1 (1949), 88–93.
- ManasseMcGeochSleator1990OnlineOpen source ↗
Competitive algorithms for server problems
Mark S. Manasse and Lyle A. McGeoch and Daniel D. Sleator · 1990 · misc
Journal of Algorithms 11 (1990), 208–230.
- KoutsoupiasPapadimitriou1995KServerOpen source ↗
On the $k$-server conjecture
Elias Koutsoupias and Christos H. Papadimitriou · 1995 · misc
Journal of the ACM 42 (1995), 971–983.
- BorodinElYaniv1998Online
Online Computation and Competitive Analysis
Allan Borodin and Ran El-Yaniv · 1998 · misc
Cambridge University Press.
- AharonovNaveh2002QuantumNPOpen source ↗
- AaronsonKuperberg2007ProofsAdviceOpen source ↗
Quantum versus classical proofs and advice
Scott Aaronson and Greg Kuperberg · 2007 · misc
Theory of Computing 3 (2007), 129–157.
- BostanciHaferkampNirkheZhandry2026OracleOpen source ↗
Separating QMA from QCMA with a classical oracle
John Bostanci and Jonas Haferkamp and Chinmay Nirkhe and Mark Zhandry · 2026 · misc
arXiv:2511.09551; STOC 2026.
- BostanciHuangVaikuntanathan2026CodesOpen source ↗
Separating quantum and classical advice with good codes
John Bostanci and Andrew Huang and Vinod Vaikuntanathan · 2026 · misc
arXiv:2602.09385; gives a simpler classical-oracle separation of QMA and QCMA.
- Jurdzinski1998ParityOpen source ↗
Deciding the winner in parity games is in UP intersect co-UP
Marcin Jurdzinski · 1998 · misc
Information Processing Letters 68 (1998), 119–124.
- CaludeEtAl2017QuasipolynomialOpen source ↗
Deciding parity games in quasipolynomial time
Cristian S. Calude and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Frank Stephan · 2017 · misc
Proceedings of STOC 2017, 252–263; journal version DOI 10.1137/17M1145288.
- VanDerHeijden2025ParityClaimOpen source ↗
Attractors is all you need: parity games in polynomial time
Rick van der Heijden · 2025 · misc
arXiv:2511.03752; a full claim whose key correctness argument is incomplete.
- Orr1947SAWOpen source ↗
Statistical Treatment of Polymer Solutions at Infinite Dilution
Orr, W. J. C. · 1947 · article
- Nienhuis1982ExactOpen source ↗
Exact Critical Point and Critical Exponents of O(n) Models in Two Dimensions
Nienhuis, Bernard · 1982 · article
- Slade2019SAWOpen source ↗
Self-Avoiding Walks
Slade, Gordon · 2019 · article
- HammersleyWelsh1965FPPOpen source ↗
First-Passage Percolation, Subadditive Processes, Stochastic Networks, and Generalized Renewal Theory
Hammersley, J. M. and Welsh, D. J. A. · 1965 · incollection
- AuffingerDamronHanson2017FPPOpen source ↗
50 Years of First-Passage Percolation
Auffinger, Antonio and Damron, Michael and Hanson, Jack · 2017 · book
- DamronHansonSosoe2015Open source ↗
Sublinear Variance in First-Passage Percolation for General Distributions
Damron, Michael and Hanson, Jack and Sosoe, Philippe · 2015 · article
- Esseen1942Fourier
On the Liapounoff Limit of Error in the Theory of Probability
Esseen, Carl-Gustav · 1942 · article
- Shevtsova2013AbsoluteOpen source ↗
On the Absolute Constants in the Berry–Esseen Inequality and Its Structural and Nonuniform Improvements
Shevtsova, Irina G. · 2013 · article
- Pinelis2017NonuniformOpen source ↗
On the Nonuniform Berry–Esseen Bound
Pinelis, Iosif · 2017 · incollection
- LiWei2012GaussianProductsOpen source ↗
A Gaussian Inequality for Expected Absolute Products
Li, Wenbo V. and Wei, Ang · 2012 · article
- KimKimKim2025GaussianProductsOpen source ↗
Three-Dimensional Gaussian Product Inequality with Positive Integer Order Moments
Kim, Bara and Kim, Jeongsim and Kim, Jerim · 2025 · article
- Megiddo1983GenuinelyOpen source ↗
Towards a Genuinely Polynomial Algorithm for Linear Programming
Megiddo, Nimrod · 1983 · article