The moving sofa constant is the area of the largest sofa that solves the moving sofa problem, namely that of the Gerver sofa (illustrated
above). It can be determined by numerical integration, and has value 2.219531...(OEIS
A128463; Gerver 1992, Finch 2003, Romik 2016,
Romik 2018, Romik, Baek 2024, Deng 2024ab).
Baek, J. "Optimality of Gerver's Sofa." 29 Nov 2024. https://arxiv.org/abs/2411.19826.Deng, Z. "Solving Moving
Sofa Problem Using Calculus of Variations." 2 Jul 2024a. https://arxiv.org/abs/2407.02587.Deng,
Z. "Calculus of Variation Approach and Euler-Lagrange Equations for the Moving
Sofa Problem." Aug. 2024b. https://community.wolfram.com/groups/-/m/t/3234695.Finch,
S. R. "Moving Sofa Constant." §8.12 in Mathematical
Constants. Cambridge, England: Cambridge University Press, pp. 519-523,
2003.Gerver, J. L. "On Moving a Sofa Around a Corner."
Geometriae Dedicata42, 267-283, 1992.Romik, D. "MovingSofas:
A Companion Mathematica Package to the Paper "Differential Equations and Exact
Solutions in the Moving Sofa Problem."' Package version: 1.3. July 10, 2016.
https://www.math.ucdavis.edu/~romik/data/uploads/software/movingsofas-v1.3.nb.Romik,
D. "Differential Equations and Exact Solutions in the Moving Sofa Problem."
Exper. Math.27, 316-330, 2018.Romik, D. "Dan Romik's
Home Page: The Moving Sofa Problem." https://www.math.ucdavis.edu/~romik/movingsofa/.Sloane,
N. J. A. Sequence A128463 in "The
On-Line Encyclopedia of Integer Sequences."
