Classical isoperimetric theorem

DOI10.2478/FORMA-2024-0015MaRDI QIDQ6966299zbMATH OpenFDO

Authors Kazuhisa Nakasho, Yasunari Shidama

Publication date 30 June 2025

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2024-0015

zbMATH Keywords

calculus of variationsisoperimetric theoremparametric curve

Mathematics Subject Classification ID

Integration of real functions of several variables: length, area, volume (26B15) Inequalities and extremum problems involving convexity in convex geometry (52A40) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• A Short Path to the Shortest Path
• An isoperimetric theorem in plane geometry
• Differentiation on interval
• Integral of continuous functions of two variables
• Mizar: state-of-the-art and beyond
• Multidimensional measure space and integration
• The isoperimetric inequality
• The Isoperimetric Problem
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(1)

• On the properties of curves and parametrization-independent isoperimetric inequality

This page was built for publication: Classical isoperimetric theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6966299)