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. Toeplitz1911SquarePeg

    Ueber einige Aufgaben der Analysis situs

    Otto Toeplitz · 1911 · misc

    Verhandlungen der Schweizerischen Naturforschenden Gesellschaft in Solothurn 94 (1911), 197.

    Open source ↗
  2. Matschke2014SquarePeg

    A Survey on the Square Peg Problem

    Benjamin Matschke · 2014 · misc

    Notices of the American Mathematical Society 61 (2014), no. 4, 346–352.

    Open source ↗
  3. Chambers2025SquarePeg

    On the Square Peg Problem

    Gregory R. Chambers · 2025 · misc

    Discrete and Computational Geometry 73 (2025), 1144–1153.

    Open source ↗
  4. Kneser1955Poulsen

    Einige Bemerkungen über das Minkowskische Flächenmaß

    Martin Kneser · 1955 · misc

    Archiv der Mathematik 6 (1955), 382–390.

    Open source ↗
  5. Csikos1998Balls

    On the Volume of the Union of Balls

    Balázs Csikós · 1998 · misc

    Discrete and Computational Geometry 20 (1998), 449–461.

    Open source ↗
  6. BezdekConnelly2002KneserPoulsen

    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.

    Open source ↗
  7. BezdekLangi2026BallSurvey

    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.

    Open source ↗
  8. Segre1955Ovals

    Ovals in a Finite Projective Plane

    Beniamino Segre · 1955 · misc

    Canadian Journal of Mathematics 7 (1955), 414–416.

    Open source ↗
  9. Ball2012MDS

    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.

    Open source ↗
  10. BallDeBeule2012MDS

    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.

    Open source ↗
  11. HanRen2024MDS

    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.

    Open source ↗
  12. Condon1992StochasticGames

    The Complexity of Stochastic Games

    Anne Condon · 1992 · misc

    Information and Computation 96 (1992), 203–224.

    Open source ↗
  13. Ludwig1995SSG

    A Subexponential Randomized Algorithm for the Simple Stochastic Game Problem

    Walter Ludwig · 1995 · misc

    Information and Computation 117 (1995), 151–155.

    Open source ↗
  14. GartnerHaslebacherHoang2026SSG

    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.

    Open source ↗
  15. Feige2002Random3SAT

    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.

    Open source ↗
  16. FeigeOfek2007Refutation

    Easily refutable subformulas of large random 3CNF formulas

    Uriel Feige and Eran Ofek · 2007 · misc

    Theory of Computing 3 (2007), 25–43.

    Open source ↗
  17. RaghavendraSteurer2010SSE

    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.

    Open source ↗
  18. RaghavendraSteurerTulsiani2012SSE

    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.

    Open source ↗
  19. AroraBarakSteurer2015SSE

    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.

    Open source ↗
  20. BeckFiala1981IntegerMaking

    Integer-making theorems

    Jozsef Beck and Tibor Fiala · 1981 · misc

    Discrete Applied Mathematics 3 (1981), 1–8.

    Open source ↗
  21. Banaszczyk1998Balancing

    Balancing vectors and Gaussian measures of $n$-dimensional convex bodies

    Wojciech Banaszczyk · 1998 · misc

    Random Structures and Algorithms 12 (1998), 351–360.

    Open source ↗
  22. BansalJiang2025Decoupling

    Decoupling via affine spectral-independence: Beck–Fiala and Komlos bounds beyond Banaszczyk

    Nikhil Bansal and Haotian Jiang · 2025 · misc

    arXiv:2508.03961v2.

    Open source ↗
  23. AltschulerTikhomirov2026OnlineBeckFiala

    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.

    Open source ↗
  24. Spencer1994TenLectures

    Ten Lectures on the Probabilistic Method

    Joel Spencer · 1994 · misc

    Second edition, CBMS-NSF Regional Conference Series in Applied Mathematics 64, SIAM.

  25. BansalDadushGarg2016Komlos

    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.

    Open source ↗
  26. BruckRyser1949Nonexistence

    The nonexistence of certain finite projective planes

    Richard H. Bruck and Herbert J. Ryser · 1949 · misc

    Canadian Journal of Mathematics 1 (1949), 88–93.

    Open source ↗
  27. ManasseMcGeochSleator1990Online

    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.

    Open source ↗
  28. KoutsoupiasPapadimitriou1995KServer

    On the $k$-server conjecture

    Elias Koutsoupias and Christos H. Papadimitriou · 1995 · misc

    Journal of the ACM 42 (1995), 971–983.

    Open source ↗
  29. BorodinElYaniv1998Online

    Online Computation and Competitive Analysis

    Allan Borodin and Ran El-Yaniv · 1998 · misc

    Cambridge University Press.

  30. AharonovNaveh2002QuantumNP

    Quantum NP–-a survey

    Dorit Aharonov and Tomer Naveh · 2002 · misc

    arXiv:quant-ph/0210077.

    Open source ↗
  31. AaronsonKuperberg2007ProofsAdvice

    Quantum versus classical proofs and advice

    Scott Aaronson and Greg Kuperberg · 2007 · misc

    Theory of Computing 3 (2007), 129–157.

    Open source ↗
  32. BostanciHaferkampNirkheZhandry2026Oracle

    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.

    Open source ↗
  33. BostanciHuangVaikuntanathan2026Codes

    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.

    Open source ↗
  34. Jurdzinski1998Parity

    Deciding the winner in parity games is in UP intersect co-UP

    Marcin Jurdzinski · 1998 · misc

    Information Processing Letters 68 (1998), 119–124.

    Open source ↗
  35. CaludeEtAl2017Quasipolynomial

    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.

    Open source ↗
  36. VanDerHeijden2025ParityClaim

    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.

    Open source ↗
  37. Orr1947SAWOpen source ↗
  38. Nienhuis1982ExactOpen source ↗
  39. Slade2019SAW

    Self-Avoiding Walks

    Slade, Gordon · 2019 · article

    Open source ↗
  40. HammersleyWelsh1965FPPOpen source ↗
  41. AuffingerDamronHanson2017FPP

    50 Years of First-Passage Percolation

    Auffinger, Antonio and Damron, Michael and Hanson, Jack · 2017 · book

    Open source ↗
  42. DamronHansonSosoe2015

    Sublinear Variance in First-Passage Percolation for General Distributions

    Damron, Michael and Hanson, Jack and Sosoe, Philippe · 2015 · article

    Open source ↗
  43. Esseen1942Fourier
  44. Shevtsova2013AbsoluteOpen source ↗
  45. Pinelis2017Nonuniform

    On the Nonuniform Berry–Esseen Bound

    Pinelis, Iosif · 2017 · incollection

    Open source ↗
  46. LiWei2012GaussianProducts

    A Gaussian Inequality for Expected Absolute Products

    Li, Wenbo V. and Wei, Ang · 2012 · article

    Open source ↗
  47. KimKimKim2025GaussianProducts

    Three-Dimensional Gaussian Product Inequality with Positive Integer Order Moments

    Kim, Bara and Kim, Jeongsim and Kim, Jerim · 2025 · article

    Open source ↗
  48. Megiddo1983GenuinelyOpen source ↗