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
- Smale1998ProblemsOpen source ↗
Mathematical Problems for the Next Century
Smale, Steve · 1998 · article
- DadushEtAl2024TwoNonzeroOpen source ↗
A Strongly Polynomial Algorithm for Linear Programs with at Most Two Nonzero Entries per Row or Column
Dadush, Daniel and Koh, Zhuan Khye and Natura, Bento and Olver, Neil and V\'egh, L\'aszl\'o A. · 2024 · inproceedings
- KleeMinty1972Simplex
How Good Is the Simplex Algorithm?
Klee, Victor and Minty, George J. · 1972 · incollection
- Kalai1992SubexponentialOpen source ↗
A Subexponential Randomized Simplex Algorithm
Kalai, Gil · 1992 · inproceedings
- FriedmannHansenZwick2011PivotOpen source ↗
Subexponential Lower Bounds for Randomized Pivoting Rules for the Simplex Algorithm
Friedmann, Oliver and Hansen, Thomas Dueholm and Zwick, Uri · 2011 · inproceedings
- KalaiKleitman1992DiameterOpen source ↗
A Quasi-Polynomial Bound for the Diameter of Graphs of Polyhedra
Kalai, Gil and Kleitman, Daniel J. · 1992 · article
- Santos2012HirschOpen source ↗
A Counterexample to the Hirsch Conjecture
Santos, Francisco · 2012 · article
- Todd2014DiameterOpen source ↗
An Improved Kalai–Kleitman Bound for the Diameter of a Polyhedron
Todd, Michael J. · 2014 · article
- Wolsey1980TSPOpen source ↗
Heuristic Analysis, Linear Programming and Branch and Bound
Wolsey, Laurence A. · 1980 · article
- KarlinKleinOveisGharan2023TSPOpen source ↗
A (Slightly) Improved Approximation Algorithm for Metric TSP
Karlin, Anna R. and Klein, Nathan and Oveis Gharan, Shayan · 2021 · inproceedings
- TraubVygen2024TSPOpen source ↗
Approximation Algorithms for Traveling Salesman Problems
Traub, Vera and Vygen, Jens · 2024 · book
- Ye2011MDPOpen source ↗
The Simplex and Policy-Iteration Methods Are Strongly Polynomial for the Markov Decision Problem with a Fixed Discount Rate
Ye, Yinyu · 2011 · article
- PostYe2015DeterministicMDPOpen source ↗
The Simplex Method Is Strongly Polynomial for Deterministic Markov Decision Processes
Post, Ian and Ye, Yinyu · 2015 · article
- BeardwoodHaltonHammersley1959Open source ↗
The Shortest Path through Many Points
Beardwood, Jillian and Halton, J. H. and Hammersley, J. M. · 1959 · article
- GaudioJaillet2020Open source ↗
An Improved Lower Bound for the Traveling Salesman Constant
Gaudio, Julia and Jaillet, Patrick · 2020 · article
- CarlssonYu2023Open source ↗
A New Upper Bound for the Euclidean TSP Constant
Carlsson, John Gunnar and Yu, Julien · 2026 · article
Published online September 5, 2025
- GaudioGuan2026BandCrossoversOpen source ↗
An Improved Upper Bound for the Euclidean TSP Constant Using Band Crossovers
Gaudio, Julia and Guan, Charlie K. · 2026 · misc
- ScheithauerTerno1995MIRUPOpen source ↗
The Modified Integer Round-Up Property of the One-Dimensional Cutting Stock Problem
Scheithauer, Guntram and Terno, Johannes · 1995 · article
- KarmarkarKarp1982BinPackingOpen source ↗
An Efficient Approximation Scheme for the One-Dimensional Bin-Packing Problem
Karmarkar, Narendra and Karp, Richard M. · 1982 · inproceedings
- HobergRothvoss2017BinPackingOpen source ↗
A Logarithmic Additive Integrality Gap for Bin Packing
Hoberg, Rebecca and Rothvoss, Thomas · 2017 · inproceedings
- Shannon1956ZeroErrorOpen source ↗
The Zero Error Capacity of a Noisy Channel
Shannon, Claude E. · 1956 · article
- Lovasz1979CapacityOpen source ↗
On the Shannon Capacity of a Graph
Lov\'asz, L\'aszl\'o · 1979 · article
- PolakSchrijver2019C7Open source ↗
New Lower Bound on the Shannon Capacity of from Circular Graphs
Polak, Sven C. and Schrijver, Alexander · 2019 · article
- IttyEtAl2026OddCyclesOpen source ↗
Improved Lower Bounds for the Shannon Capacity of Odd Cycles
Itty, Nathaniel and Rosin, Christopher D. and Carstensen, Chase and Reichman, Daniel · 2026 · misc
- Dobrushin1967Sync
Shannon's Theorems for Channels with Synchronization Errors
Dobrushin, Roland L. · 1967 · article
- Mitzenmacher2009DeletionOpen source ↗
A Survey of Results for Deletion Channels and Related Synchronization Channels
Mitzenmacher, Michael · 2009 · article
- RubinsteinCon2024DeletionOpen source ↗
Improved Upper and Lower Bounds on the Capacity of the Binary Deletion Channel
Rubinstein, Ittai and Con, Roni · 2023 · misc
- Gilbert1952ComparisonOpen source ↗
A Comparison of Signalling Alphabets
Gilbert, Edgar N. · 1952 · article
- Varshamov1957CodesOpen source ↗
Estimate of the Number of Signals in Error Correcting Codes
Varshamov, Rom R. · 1957 · article
- McElieceEtAl1977BoundsOpen source ↗
New Upper Bounds on the Rate of a Code via the Delsarte–MacWilliams Inequalities
McEliece, Robert J. and Rodemich, Eugene R. and Rumsey, Howard C. and Welch, Lloyd R. · 1977 · article
- CohenEtAl2026TracingOpen source ↗
Tracing AG Codes: Toward Meeting the Gilbert–Varshamov Bound
Cohen, Gil and Doron, Dean and Goldgraber, Noam and Manket, Tomer · 2026 · inproceedings
- Butcher1964ProcessesOpen source ↗
On Runge–Kutta Processes of High Order
Butcher, John C. · 1964 · article
- Khashin2010SymbolicOpen source ↗
A Symbolic-Numeric Approach to the Solution of the Butcher Equations
Khashin, Sergey · 2010 · misc
Preliminary version, August 1, 2010
- Verner2014LowerStageOpen source ↗
Explicit Runge–Kutta Pairs with Lower Stage-Order
Verner, James H. · 2014 · article
- Butcher2016NumericalMethodsOpen source ↗
Numerical Methods for Ordinary Differential Equations
Butcher, John C. · 2016 · book
- Blondel1994SimultaneousOpen source ↗
Simultaneous Stabilization of Linear Systems
Blondel, Vincent D. · 1994 · book
- WangWangYu2016OpenOpen source ↗
Some Open Problems on Simultaneous Stabilization of Linear Systems
Wang, Li and Wang, Long and Yu, Wensheng · 2016 · article
- CharlesBoston2017ChocolateOpen source ↗
Exploiting Algebraic Structure in Global Optimization and the Belgian Chocolate Problem
Charles, Zachary and Boston, Nigel · 2017 · misc
- Shapley1953StochasticOpen source ↗
Stochastic Games
Shapley, Lloyd S. · 1953 · article
- MertensNeyman1981GamesOpen source ↗
Stochastic Games
Mertens, Jean-Fran{\cc}ois and Neyman, Abraham · 1981 · article
- Vieille2002RecentOpen source ↗
Recent Advances in Stochastic Games
Vieille, Nicolas · 2002 · incollection
- FleschSolan2023EquilibriumOpen source ↗
Equilibrium in Two-Player Stochastic Games with Shift-Invariant Payoffs
Flesch, J\'anos and Solan, Eilon · 2023 · article
- CaragiannisEtAl2019MNWOpen source ↗
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
- ChaudhuryGargMehlhorn2024ThreeOpen source ↗
EFX Exists for Three Agents
Chaudhury, Bhaskar Ray and Garg, Jugal and Mehlhorn, Kurt · 2024 · article
- ChaudhuryEtAl2021CharityOpen source ↗
A Little Charity Guarantees Almost Envy-Freeness
Chaudhury, Bhaskar Ray and Kavitha, Telikepalli and Mehlhorn, Kurt and Sgouritsa, Alkmini · 2021 · article
- AfshinmehrEtAl2026MultigraphOpen source ↗
EFX Allocations Exist on Multi-Graphs
Afshinmehr, Mahyar and Ashuri, Arash and Mahmoudkhan, Pouria and Mehlhorn, Kurt and Shahrezaei, Amir Mohammad · 2026 · misc
- Geelen2026CDCOpen source ↗
OpenAI's proof of the Cycle Double Cover Theorem
Jim Geelen · 2026 · misc
- Oum2026CDCOpen source ↗
A proof of the cycle double cover conjecture by OpenAI: An exposition
Sang-il Oum · 2026 · misc