Pith. sign in

REVIEW 3 major objections 5 minor 39 references

Flexibility of the isometric immersion system in arbitrary dimension and codimension and the energy scaling of prestrained thin films

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In arbitrary dimension d and codimension k, every short immersion can be uniformly approximated by exact isometric immersions of Hölder class C^{1,α} for every α below α0 = min{(r+β)/2, 1/(1+d(d+1)/k)}; the same construction bounds the mini

desk verdict Unified flexibility theorem for isometric immersions with a genuinely new intermediate-codimension range, but the central iteration theorem is imported from a same-author preprint and the film-scaling claim overstates a one-sided bound. read the letter →

arxiv 2607.15838 v1 pith:42C2NTFF submitted 2026-07-17 math.AP

Marta Lewicka , Hui Li This is my paper · ORCID
classification math.AP MSC 35J9653C4253A35
keywords isometricimmersionconvexintegrationHölderregularityshortNash–Kuiperschemeflexibilityexponentprestrainedthinfilmsenergyscaling
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a unified flexibility theorem for the isometric immersion system (∇u)^T∇u = g: in any dimension d and codimension k, every short immersion—a map whose induced metric is strictly below g—can be uniformly approximated by exact C^{1,α} isometric immersions for every Hölder exponent α < α0 = min{(r+β)/2, 1/(1+d(d+1)/k)}, where r+β is the metric's regularity. The contribution is a single formula for the threshold that recovers previously known special cases and covers an uncharted range of codimensions. The proof combines a defect-decomposition stage, a corrugation step, and an iteration with a precise blow-up/decay ratio. As an application, the authors bound the minimal non-Euclidean energy of prestrained thin films by C h^{4α/(α+1)}, setting the scaling exponent at 4α0/(α0+1) in the vanishing-thickness limit.

What carries the argument

Defect-decomposition stage and corrugation ansatz: the defect D(g,u)=g−(∇u)^T∇u is written as Σ_{ρ=1}^{d*} a_ρ^2 η_ρ⊗η_ρ using a fixed basis of symmetric matrices; each term is canceled by an oscillatory perturbation in a normal direction with frequency λ and amplitude of order δ^{1/2}. The stage runs for N=lcm(d*, k) steps, so the defect decays by S and the second derivatives blow up by J, giving the fundamental ratio J/S=d*/k, which enters the Hölder exponent formula. The normal-frame propagation lemmas (Lemmas 2.6–2.7) preserve an orthonormal frame along the iteration, which is what lets the derivative bounds propagate across steps. The whole construction is then iterated through the Nash

What would settle it

Execute or inspect the iteration scheme of Theorem 1.4 in a case with d=3,k=2 (or any d,k≥2) and check whether the stage construction's constants remain independent of d,k. If the quotient of the second-derivative blow-up to defect decay differs from d*/k, or if the normal-frame propagation estimates in Lemma 2.7 acquire a hidden dependence on d or k, the claimed threshold α0=1/(1+2d*/k) would fail for that pair.

Watch

Extended reading notes

Core claim

The central claim is that the maximal Hölder exponent for which the isometric immersion system is flexible is controlled, in arbitrary dimension d and codimension k, by α0 = 1/(1+2d*/k) with d*=d(d+1)/2, alongside the regularity bound (r+β)/2 coming from the metric. The proof proceeds by a stage construction in which the defect g−(∇u)^T∇u is decomposed into d* rank-one pieces; each piece is removed by a corrugation step along a single normal direction, and after N=lcm(d*,k) steps the defect decays by the factor S while the second-derivative size grows by the factor J, with J/S=d*/k. Iterating this stage via a Nash–Kuiper scheme yields the C^{1,α} approximating immersions, and the same constr

Load-bearing premise

The quoted Nash–Kuiper iteration scheme (Theorem 1.4) was proved only for d=k=2 and is assumed here to hold for all d,k≥2 with the same proof; the paper does not reproduce that proof.

Editorial extensions

If this is right

  • For any C^{r,β} metric and any short immersion, exact isometric immersions of class C^{1,α} are dense for all α < min{(r+β)/2, 1/(1+d(d+1)/k)}; the system is flexible up to that exponent.
  • The formula recovers the previously known thresholds: the codimension-one case, the k=d case, and the full-flexibility limit as k grows, and it covers the codimension range that had no general result before.
  • The threshold exponent for isometric immersions agrees with that already found for the Monge–Ampère system, strengthening the link between the two flexibility problems.
  • For prestrained thin films, the infimum of the non-Euclidean energy is bounded by C h^{4α/(α+1)} for every such α, yielding the scaling exponent 4α0/(α0+1) in the vanishing-thickness limit, which for d=2,k=1 opens the previously uncharted scaling range θ∈[1,2).
  • The first condition in the approximation theorem can be strengthened from uniform to C^{0,β̄} convergence for any fixed β̄<1, so subsolutions are limits of exact isometric immersions in a Hölder sense as well.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the exponent 1/(1+2d*/k) is truly the barrier for this convex-integration method, then the membrane-to-bending transition in prestrained films should occur exactly at 4α0/(α0+1); testing films with different codimensions k (e.g., plates in 3D vs beams in higher dimensional target) could reveal whether the energy scaling matches this prediction.
  • The same stage construction with the ratio J/S=d*/k likely transfers to other first-order PDE systems with a similar rank-one defect structure; one testable extension is to the Monge–Ampère system with right-hand sides of low regularity, where the same exponent already appears.
  • Because the theorem is uniform in the short immersion u, it suggests that the flexibility phenomenon is not sensitive to the topology of the domain beyond being diffeomorphic to the ball; extending the result to compact manifolds would require controlling the global geometry, which is a natural next step.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper claims a unified flexibility theorem for the isometric immersion system in arbitrary dimension d and codimension k. Theorem 1.1 states that any short C^1 immersion u into R^{d+k} can be uniformly approximated by exact C^{1,α} isometric immersions with metric g∈C^{r,β}, for every α<min{(r+β)/2, 1/(1+d(d+1)/k)}, where d*=d(d+1)/2. The proof separates a new stage construction (Theorem 1.3), built from Kuiper corrugations and an N=lcm(d*,k)-step induction with blow-up/decay ratio J/S=d*/k, from a Nash–Kuiper iteration scheme stated as Theorem 1.4 and quoted from the same first author's preprint [29]. As an application, Theorem 1.2 derives the upper bound inf E_h^g ≤ C h^{4α/(α+1)} for the non-Euclidean thin-film energy (1.5). The paper also discusses the relation of its exponent to previous results for k=1, k=d, and the full-flexibility regimes.

Significance. If correct, Theorem 1.1 provides a single flexibility threshold for all dimensions and codimensions, matching the previously known Monge–Ampère system exponent and covering the previously uncharted range k∈(1,d*-d+1)\{d}. The algebraic core of the paper is self-contained and carefully executed: Lemma 2.3 gives an explicit corrugation identity, the counters in Section 3 are coherent, and the quotient J/S=d*/k is correctly derived. However, the advertised full generality is not fully verified in the manuscript, because the load-bearing iteration theorem is imported from a same-author preprint and its extension from d=k=2 to all d,k≥2 is asserted rather than proved. The thin-film application is a rather direct consequence of Theorem 1.1 once that theorem is available.

major comments (3)
  1. [1.1, Theorem 1.4] Theorem 1.4 is the Nash–Kuiper iteration scheme that converts the stage construction (Theorem 1.3) into Theorem 1.1. The manuscript states that [29, Theorem 1.3] was proved for d=k=2 and that 'the proof given there is independent of the particular values of d,k≥2', but no proof or derivation for arbitrary d,k is included. The constants, the parameter p in σ^p δ^{1/2}≤1, and the construction of the initial immersion are all left as black boxes. Since this is a same-author preprint and the claim of independence is load-bearing for every new case advertised in the abstract, the generalization should be proved here or the exact dependence on d,k,S,J,p should be exhibited.
  2. [1.1, Theorem 1.4, initial data] The statement of Theorem 1.4 begins with an immersion u∈C^∞ and D(g,u)>0, while the explanatory paragraph after (1.12) refers to choosing an initial u0 with ∥u0-u∥0≤ε/2. It is not specified how a general C^1 short immersion from Theorem 1.1 is mollified or perturbed to meet the hypotheses of Theorem 1.4, nor whether the iteration theorem applies directly to the C^1 initial data. Please clarify the reduction and state precisely which regularity of the initial data is needed for the iteration.
  3. [3, Step 6 (proof of (3.13)_5)] In the proof of the defect-decay estimate, the terms A, B, C are estimated explicitly, but the remainder R=R0+...+R4 from Lemma 2.3 is disposed of with the summary statement that each term 'contains the product of at least two quantities involving a_s^ρ ...'. This is a finite and explicit collection of terms, and the precise balance of powers of λ_i, σ^j and δ_s is essential for the resulting bound C λ^m_{(s+1)d*} δ_s/σ. Please expand the verification term-by-term or provide a table of derivative counts, so that the advertised decay rate is fully checkable.
minor comments (5)
  1. [Section 4, after (4.11)] The exponent displayed as 'Ch^{2tα}=Ch^{4α/(α+1)}' is inconsistent. With t=1/(α+1), 2tα=2α/(α+1); after squaring the bound the correct exponent is 4α/(α+1). Please correct this line.
  2. [Appendix A heading] The heading reads 'A proof of Lemma 2.5' but the section proves Lemma 2.3. Rename.
  3. [Section 1.1, before Lemma 2.3] Typo: 'The proof will of the lemma below be given in section 5' should be 'The proof of the lemma below will be given in section 5'.
  4. [Table 1] The row '2d* 1 [24]' appears to conflict with the text in Section 1.2, where [24] is quoted with k≥2d*(d+1). Clarify the notation for the sufficient codimension.
  5. [Lemma 2.1] Estimate (2.1)_3 is stated 'for all m≥0' with a factor l^{2-m}; for m>2 this factor grows as l→0 and the displayed form is not meaningful. Restrict the statement to the range m=0,1,2 (or m≤2), which is all that is used later.

Circularity Check

1 steps flagged · score 4.0 of 10

Mostly self-contained stage construction, but the arbitrary-d,k theorem imports a load-bearing, unproved Nash-Kuiper iteration theorem from the same author's preprint.

  1. self citation load bearing [Section 1.1, between Theorem 1.3 and Theorem 1.4]
    "We now quote the statement of the Nash-Kuiper iteration scheme from [29, Theorem 1.3], where it was proved for the specific case d=k=2. However, the proof given there is independent of the particular values of d,k>=2."

    Theorem 1.1's advertised range for arbitrary d and k is not derived from the paper's own estimates alone: the proof chain is Theorem 1.3 (proved here) plus Theorem 1.4 (quoted from [29]) to get Theorem 1.1. But Theorem 1.4 is explicitly cited as having been proved in [29] only for d=k=2; its extension to all d,k>=2 rests solely on the assertion that the proof there is dimension-independent. Thus the central 'arbitrary dimension and codimension' conclusion reduces at its decisive step to an overlapping-author preprint claim that is not re-proved or independently verified here. This is a load-bearing self-citation rather than an equation-level equivalence.

full rationale

Most of the derivation is self-contained and internally consistent. Lemma 2.3 is an explicit algebraic identity (2.3); Theorem 1.3's stage estimates are proved through the induction in (3.13); the quotient J/S=d*/k follows by elementary arithmetic from Jk=Sd*=lcm(d*,k); and Theorem 1.2 follows by an explicit Kirchhoff-Love construction. I found no fitted parameter renamed as a prediction, and no definitional identity making the output equal to the input. The one load-bearing step that is not independent is the Nash-Kuiper iteration Theorem 1.4, quoted from the same first author's preprint [29] and justified for general d,k only by the assertion that the d=k=2 proof is independent of d,k. Since that theorem converts the stage construction into the advertised C^{1,alpha} approximation, the full 'arbitrary dimension and codimension' claim partially rests on an overlapping self-citation. This is a support gap and a correctness risk rather than a by-construction circularity, but it is significant enough to raise the score above the completely clean baseline.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The proof introduces no new physical entities and has no empirical fit parameters. The central claim rests on prior analytic results: standard mollification estimates, the normal-frame existence lemma, and — critically — the Nash–Kuiper iteration theorem quoted from Lewicka's earlier preprint [29].

assumptions (4)
  • domain assumption The Nash–Kuiper iteration scheme (Theorem 1.4) from [29, Theorem 1.3], proved for d=k=2, extends verbatim to all d,k≥2 with the same ratio J/S=d*/k.
    Invoked in Section 1.1 to convert the stage estimate (Theorem 1.3) into the final C^{1,α} approximation theorem. The paper asserts the proof is independent of d,k but does not reproduce it.
  • standard math Existence of smooth normal frames for immersions satisfying uniform ellipticity (Lemma 2.6), quoted from [7, Lemma 3.5].
    Used in the stage construction and energy application to define Cosserat vectors and propagate normal vectors; standard geometric input.
  • standard math Standard mollification and commutator estimates (Lemma 2.1) from [12].
    Used throughout to relate mollified quantities to the original metric and defect.
  • domain assumption The domain ω is diffeomorphic to B_1 and the metric is positive definite and at least C^{r,β} with r+β>0.
    Needed for the global normal-frame extension and the boundary-free iteration; stated in Theorem 1.1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Flexibility of the isometric immersion system in arbitrary dimension and codimension and the energy scaling of prestrained thin films." pith.science (2026). https://pith.science/paper/42C2NTFF

@misc{pith2026260715838,
  author       = {Pith},
  title        = {Pith review of: Flexibility of the isometric immersion system in arbitrary dimension and codimension and the energy scaling of prestrained thin films},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/42C2NTFF}},
  note         = {Machine review of arXiv:2607.15838}
}
abstract

We prove that, for a given $C^{r,\beta}$-regular Riemann metric posed on a $d$-dimensional domain, every short immersion into the Euclidean space $\mathbb{R}^{d+k}$, can be uniformly approximated by exact isometric immersions of regularity $C^{1,\alpha}$ for any $\alpha<\alpha_0=\min\{\frac{r+\beta}{2}, \frac{1}{1+d(d+1)/k}\}$. Our theorem recovers several previously known results as special cases. The novelty thereof lies in providing a unified flexibility statement for arbitrary dimensions $d$ and codimensions $k$, while also treating the so far uncharted range $k\in (1, \frac{d(d+1)}{2}-d+1)\setminus \{d\}$, where no corresponding general result was previously available. Our threshold flexibility exponent $\alpha_0$ agrees with that previously obtained for the closely related Monge-Amp\`ere system. As an application, we prove a new estimate in the quantitative immersability of thin prestrained films, setting the scaling exponent of the infimum of non-Euclidean energies in presence of an arbitrary prestrain metric, and in the limit of the film's vanishing thickness, at $\frac{4\alpha_0}{\alpha_0+1}$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

39 extracted references · 2 linked inside Pith

  1. [29]

    , Full flexibility of isometric immersions of metrics with low H\"older regularity in Poznyak theorem's dimension , arXiv:2511.16305

    Lewicka, M. , Full flexibility of isometric immersions of metrics with low H\"older regularity in Poznyak theorem's dimension , arXiv:2511.16305

    arXiv

  2. [1]

    , The parallel translation on a smooth surface

    Borisov, Y. , The parallel translation on a smooth surface. I-IV. , Vestnik Leningrad. Univ., 13 (4):160-171, and 13 (19):45--54, and 14 (1):34--50, and 14 (13):20--26, (1958, 1959)

    1958

  3. [2]

    , C^ 1, -isometric immersions of Riemannian spaces , Doklady Akad

    Borisov, Y. , C^ 1, -isometric immersions of Riemannian spaces , Doklady Akad. Nauk SSSR 163 :869--871, (1965)

    1965

  4. [3]

    , Irregular C^ 1, -surfaces with analytic metric , Sib

    Borisov, Y. , Irregular C^ 1, -surfaces with analytic metric , Sib. Mat. Zh. 45 (1):25-–61, (2004)

    2004

  5. [4]

    and Inauen, D

    Cao, W., Hirsch, J. and Inauen, D. , C^ 1,1/3- very weak solutions to the two dimensional Monge-Amp\`ere equation , Calc. Var., 64 :160, (2025)

    2025

  6. [5]

    and Inauen, D

    Cao, W., Hirsch, J. and Inauen, D. , A Nash-Kuiper theorem for isometric immersions beyond Borisov's exponent , arXiv:2503.13867

    arXiv

  7. [6]

    and Lewicka, M

    Cao, W., Hirsch, J., Inauen, D. and Lewicka, M. , Full flexibility of the Monge-Amp\`ere system in codimension d_*-d+1 , arXiv:2603.28909 (2026)

    arXiv 2026

  8. [7]

    and Inauen D

    Cao W. and Inauen D. , Rigidity and flexibility of isometric extension. Comment. Math. Helv., 99 (1):39--80, (2024)

    2024

Show all 39 references
  1. [8]

    and Sz\'ekelyhidi Jr., L

    Cao, W. and Sz\'ekelyhidi Jr., L. , Very weak solutions to the two-dimensional Monge-Amp\`ere equation , Sci. China Math., 62 (6): 1041--1056, (2019)

    2019

  2. [9]

    and Sz\' e kelyhidi, Jr., L

    Cao, W. and Sz\' e kelyhidi, Jr., L. , On the isometric version of Whitney's strong embedding theorem , Adv. Math., 460 :110040, (2025)

    2025

  3. [10]

    and Sz\' e kelyhidi, Jr., L

    Cao, W. and Sz\' e kelyhidi, Jr., L. , Global N ash- K uiper theorem for compact manifolds , J. Differential Geom. 122 (1):35--68, (2022)

    2022

  4. [11]

    atze \"uber die Starrheit der Eifl\

    Cohn-Vossen, S. , Zwei S\"atze \"uber die Starrheit der Eifl\"achen , Nachrichten G\"ottingen, pp. 125--137, (1927)

    1927

  5. [12]

    and Sz\'ekelyhidi Jr., L

    Conti, S., De Lellis, C. and Sz\'ekelyhidi Jr., L. , h-principle and rigidity for C^ 1, isometric embeddings , Proceedings of the Abel Symposium, in: Nonlinear Partial Differential Equations, pp. 83--116, (2010)

    2010

  6. [13]

    and Sz\'ekelyhidi Jr., L

    De Lellis, C., Inauen, D. and Sz\'ekelyhidi Jr., L. , A Nash-Kuiper theorem for C^ 1, 1 5 - immersions of surfaces in 3 dimensions , Revista Matematica Iberoamericana, 34 (3):1119--1152, (2018)

    2018

  7. [14]

    and Inauen D

    De Lellis C. and Inauen D. , C^ 1, isometric embeddings of polar caps. Adv. Math., 363 :106996, (2020)

    2020

  8. [15]

    , Partial differential relations , Volume 9 of ``Ergebnisse der Mathematik und ihrer Grenzgebiete'' (3) [Results in Mathematics and Related Areas (3)]

    Gromov M. , Partial differential relations , Volume 9 of ``Ergebnisse der Mathematik und ihrer Grenzgebiete'' (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, (1986)

    1986

  9. [16]

    , Isometric embeddings of Riemannian manifolds

    G\"unther M. , Isometric embeddings of Riemannian manifolds . In ``Proceedings of the International Congress of Mathematicians'', Vol. I, II (Kyoto, 1990), pp. 1137–-1143. Math. Soc. Japan, Tokyo, (1991)

    1990

  10. [17]

    and Nirenberg, L

    Hartmann, P. and Nirenberg, L. , On spherical image maps whose Jacobians do not change sign , Amer. J. Math. 81 , pp. 901--920, (1959)

    1959

  11. [18]

    Uber die Starrheit der Eifl\

    Herglotz, G. , \"Uber die Starrheit der Eifl\"achen , Abh. Math. Semin. Hansische Univ., 15 , pp. 127--129, (1943)

    1943

  12. [19]

    , Flexibility of codimension one C^ 1, isometric immersions arXiv:2603.08382 (2026)

    Inauen D. , Flexibility of codimension one C^ 1, isometric immersions arXiv:2603.08382 (2026)

    2026

  13. [20]

    and Lewicka, M

    Inauen, D. and Lewicka, M. , The Monge-Amp\`ere system in dimension two and codimension three , to appear in Revista Matematica Iberoamericana, arXiv:2501.12474 (2025)

    2025 arXiv

  14. [21]

    and Lewicka, M

    Inauen, D. and Lewicka, M. , The Monge-Amp\'ere system in dimension two is fully flexible in codimension two , 2504.03582 (2025)

    2025

  15. [22]

    , A proof of Onsager’s conjecture

    Isett P. , A proof of Onsager’s conjecture. Ann. of Math. (2), 188 (3):871--963, (2018)

    2018

  16. [23]

    , Implicit function theorems and isometric embeddings , Annals of Mathematics, 95 (2):191--225, (1972)

    Jacobowitz, H. , Implicit function theorems and isometric embeddings , Annals of Mathematics, 95 (2):191--225, (1972)

    1972

  17. [24]

    , Isometric embedding of a smooth compact manifold with a metric of low regularity , Ark

    K\"all\'en, A. , Isometric embedding of a smooth compact manifold with a metric of low regularity , Ark. Mat. 16 (1): 29--50, (1978)

    1978

  18. [25]

    , On C^1 -isometric imbeddings

    Kuiper, N. , On C^1 -isometric imbeddings. I , II . , Indag. Math., 17 :545--556 and 683--689, Nederl. Akad. Wetensch. Proc. Ser. A 58 , (1955)

    1955

  19. [26]

    , The Monge-Amp\`ere system: convex integration in arbitrary dimension and codimension , SIAM J

    Lewicka, M. , The Monge-Amp\`ere system: convex integration in arbitrary dimension and codimension , SIAM J. Math. Analysis, 57 (1): 601--636, (2025)

    2025

  20. [27]

    , The Monge-Amp\`ere system: convex integration with improved regularity in dimension two and arbitrary codimension , Diff

    Lewicka, M. , The Monge-Amp\`ere system: convex integration with improved regularity in dimension two and arbitrary codimension , Diff. Int. Equations, 38 (3/4):141--174, (2025)

    2025

  21. [28]

    , The Monge-Amp\`ere system in dimension two: a regularity improvement , J

    Lewicka, M. , The Monge-Amp\`ere system in dimension two: a regularity improvement , J. Funct. Anal., 289 (8):111064, (2025)

    2025

  22. [30]

    Lewicka, M. , Calculus of Variations on Thin Prestressed Films: Asymptotic Methods in Elasticity , Progress in Nonlinear Differential Equations and Their Applications, 101 , Birkh\"auser, (2022)

    2022

  23. [31]

    and Lucic, D

    Lewicka, M. and Lucic, D. , Dimension reduction for thin films with transversally varying prestrian: the oscillatory and the non-oscillatory case , Communications on Pure and Applied Mathematics, 73 (9):1880--1932, (2020)

    1932

  24. [32]

    and Pakzad, R

    Lewicka, M., Ochoa, P. and Pakzad, R. , Variational models for prestrained plates with Monge-Amp\'ere constraint , Diff. Integral Equations, 28 (9-10):861--898, (2015)

    2015

  25. [33]

    and Pakzad, M

    Lewicka, M. and Pakzad, M. , Convex integration for the Monge-Amp\`ere equation in two dimensions , Analysis and PDE, 10 (3):695--727, (2017)

    2017

  26. [34]

    , The imbedding problem for Riemannian manifolds , Ann

    Nash, J. , The imbedding problem for Riemannian manifolds , Ann. Math., 63 :20--63, (1956)

    1956

  27. [35]

    , C ^1 isometric imbeddings , Ann

    Nash, J. , C ^1 isometric imbeddings , Ann. Math., 60 :383--396, (1954)

    1954

  28. [36]

    , Surfaces with bounded extrinsic curvature (Russian), Kharhov, (1956)

    Pogorelov, A. , Surfaces with bounded extrinsic curvature (Russian), Kharhov, (1956)

    1956

  29. [37]

    , Extrinsic geometry of convex surfaces , Translation of Mathematical Monographs, 35 , American Math

    Pogorelov, A. , Extrinsic geometry of convex surfaces , Translation of Mathematical Monographs, 35 , American Math. Soc., (1973)

    1973

  30. [38]

    , Isometric imbedding of two-dimensional R iemannian metrics in E uclidean spaces , Uspehi Mat

    Poznjak, \`E.\ G. , Isometric imbedding of two-dimensional R iemannian metrics in E uclidean spaces , Uspehi Mat. Nauk, 28 (4):47--76, (1973)

    1973

  31. [39]

    Uber die Bestimmung einer geschlossenen konvexen Fl\

    Weyl, W. , \"Uber die Bestimmung einer geschlossenen konvexen Fl\"ache durch ihr Linienelement , Vierteljahrsschrift der naturforschenden Gesellschaft, Zurich, 61 , pp. 40-72, (1916)

    1916

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.