OP-10036OptimizationStatus unassessed
Moving Sofa Problem
Moving Sofa Problem
Formal Conjectures· Specialist source · status unassessed
The index
Explore the frontier
40 entries matching the current filters. Sorted by recently added.
OP-1239OptimizationOpen
The mathematics of artificial intelligence · 2022-opt-26
Optimization Theory, Algorithms, and Complexity · ICM 2022: The mathematics of artificial intelligence
ICM Conjectures· Source assessment · not reviewed· 2022
OP-1238OptimizationOpen
The probabilistic analysis of combinatorial algorithms · 1983-opt-25
Combinatorial and Network Optimization · ICM 1983: The probabilistic analysis of combinatorial algorithms
ICM Conjectures· Source assessment · not reviewed· 1983
OP-1237OptimizationOpen
Undirected Multiflow Problems and Related Topics - Some Recent Developments and Results · 1990-opt-24
Combinatorial and Network Optimization · ICM 1990: Undirected Multiflow Problems and Related Topics - Some Recent Developments and Results
ICM Conjectures· Source assessment · not reviewed· 1990
OP-1236OptimizationOpen
Convexity and complexity in polynomial programming · 1983-opt-23
Convex and Conic Optimization · ICM 1983: Convexity and complexity in polynomial programming
ICM Conjectures· Source assessment · not reviewed· 1983
OP-1235OptimizationOpen
The evaluation complexity of finding high-order minimizers of nonconvex optimization · 2022-opt-22
Optimization Theory, Algorithms, and Complexity · ICM 2022: The evaluation complexity of finding high-order minimizers of nonconvex optimization
ICM Conjectures· Source assessment · not reviewed· 2022
OP-1234OptimizationOpen
Polyhedral techniques in combinatorial optimization matchings and tours · 2022-opt-21
Combinatorial and Network Optimization · ICM 2022: Polyhedral techniques in combinatorial optimization matchings and tours
ICM Conjectures· Source assessment · not reviewed· 2022
OP-1233OptimizationOpen
Polyhedral techniques in combinatorial optimization matchings and tours · 2022-opt-20
Combinatorial and Network Optimization · ICM 2022: Polyhedral techniques in combinatorial optimization matchings and tours
ICM Conjectures· Source assessment · not reviewed· 2022
OP-1232OptimizationOpen
An overview of nonlinear optimization · 2022-opt-19
Optimization Theory, Algorithms, and Complexity · ICM 2022: An overview of nonlinear optimization
ICM Conjectures· Source assessment · not reviewed· 2022
OP-1231OptimizationOpen
An overview of nonlinear optimization · 2022-opt-18
Optimization Theory, Algorithms, and Complexity · ICM 2022: An overview of nonlinear optimization
ICM Conjectures· Source assessment · not reviewed· 2022
OP-1230OptimizationOpen
Optimal Shape and Location of Sensors or Actuators in PDE Models · 2018-opt-17
Nonlinear and Global Optimization · ICM 2018: Optimal Shape and Location of Sensors or Actuators in PDE Models
ICM Conjectures· Source assessment · not reviewed· 2018
OP-1229OptimizationOpen
Optimal Shape and Location of Sensors or Actuators in PDE Models · 2018-opt-16
Location and Assignment · ICM 2018: Optimal Shape and Location of Sensors or Actuators in PDE Models
ICM Conjectures· Source assessment · not reviewed· 2018
OP-1228OptimizationOpen
A UU-point of view of nonsmooth optimization · 2018-opt-15
Optimization Theory, Algorithms, and Complexity · ICM 2018: A UU-point of view of nonsmooth optimization
ICM Conjectures· Source assessment · not reviewed· 2018
OP-1227OptimizationOpen
Sum-of-squares proofs and the quest toward optimal algorithms · 2014-opt-14
Optimization Theory, Algorithms, and Complexity · ICM 2014: Sum-of-squares proofs and the quest toward optimal algorithms
ICM Conjectures· Source assessment · not reviewed· 2014
OP-1226OptimizationOpen
Optimization over polynomials Selected topics · 2014-opt-13
Combinatorial and Network Optimization · ICM 2014: Optimization over polynomials Selected topics
ICM Conjectures· Source assessment · not reviewed· 2014
OP-1225OptimizationOpen
Nonsmooth optimization conditioning, convergence and semi-algebraic models · 2014-opt-12
Optimization Theory, Algorithms, and Complexity · ICM 2014: Nonsmooth optimization conditioning, convergence and semi-algebraic models
ICM Conjectures· Source assessment · not reviewed· 2014
OP-1224OptimizationOpen
Advances in convex optimization conic programming · 2006-opt-11
Convex and Conic Optimization · ICM 2006: Advances in convex optimization conic programming
ICM Conjectures· Source assessment · not reviewed· 2006
OP-1223OptimizationOpen
Active Set and Interior Methods for Nonlinear Optimization · 1998-opt-10
Optimization Theory, Algorithms, and Complexity · ICM 1998: Active Set and Interior Methods for Nonlinear Optimization
ICM Conjectures· Source assessment · not reviewed· 1998
OP-1222OptimizationOpen
Active Set and Interior Methods for Nonlinear Optimization · 1998-opt-9
Optimization Theory, Algorithms, and Complexity · ICM 1998: Active Set and Interior Methods for Nonlinear Optimization
ICM Conjectures· Source assessment · not reviewed· 1998
OP-1221OptimizationOpen
Strongly Polynomial and Combinatorial Algorithms in Optimization · 1990-opt-8
Combinatorial and Network Optimization · ICM 1990: Strongly Polynomial and Combinatorial Algorithms in Optimization
ICM Conjectures· Source assessment · not reviewed· 1990
OP-1220OptimizationOpen
Strongly Polynomial and Combinatorial Algorithms in Optimization · 1990-opt-7
Combinatorial and Network Optimization · ICM 1990: Strongly Polynomial and Combinatorial Algorithms in Optimization
ICM Conjectures· Source assessment · not reviewed· 1990
OP-1219OptimizationOpen
Strongly Polynomial and Combinatorial Algorithms in Optimization · 1990-opt-6
Optimization Theory, Algorithms, and Complexity · ICM 1990: Strongly Polynomial and Combinatorial Algorithms in Optimization
ICM Conjectures· Source assessment · not reviewed· 1990
OP-1218OptimizationOpen
Strongly Polynomial and Combinatorial Algorithms in Optimization · 1990-opt-5
Optimization Theory, Algorithms, and Complexity · ICM 1990: Strongly Polynomial and Combinatorial Algorithms in Optimization
ICM Conjectures· Source assessment · not reviewed· 1990
OP-1217OptimizationOpen
On the rate of convergence of variable metric algorithms for unconstrained optimization · 1983-opt-4
Optimization Theory, Algorithms, and Complexity · ICM 1983: On the rate of convergence of variable metric algorithms for unconstrained optimization
ICM Conjectures· Source assessment · not reviewed· 1983
OP-1216OptimizationOpen
On the rate of convergence of variable metric algorithms for unconstrained optimization · 1983-opt-3
Optimization Theory, Algorithms, and Complexity · ICM 1983: On the rate of convergence of variable metric algorithms for unconstrained optimization
ICM Conjectures· Source assessment · not reviewed· 1983
Frequent tags
theoremdb 3909historical workshop 3469aim 3469icm 2898source curated 2675source candidate 1231number theory 1007status unassessed 622specialist collection 522pde dyn 399geometry 336analysis 269algebraic geometry 257algebra 224verifiable 2026 223probability 221graph theory 200topology 199lie rep 180combinatorics 154combinatorics discrete mathematics 141mathematical physics mechanics 137numerical analysis computer science 131research 2026 126