Cover Image

Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Samarakkody, Miraj
Format:	Preprint
Published:	2026
Subjects:	Metric Geometry Logic in Computer Science 53A, 53-04, 53-08
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Freedman's link packings
by: Manin, Fedor, et al.
Published: (2023)

Heintze-Karcher and Reverse Alexandrov-Fenchel Inequalities via Focal Geometry
by: Kwong, Kwok-kun, et al.
Published: (2026)

Hugelschaffer egg curve and surface
by: Petrovic, Maja, et al.
Published: (2022)

How regular is the evolute of a plane curve?
by: Thomas, Pascal J., et al.
Published: (2025)

Solving Euclidean Problems by Isotropic Initialization
by: Yorov, Khusrav, et al.
Published: (2025)

Golden and Metallic Structures on Hessian Manifolds
by: Washburn, Jonathan, et al.
Published: (2026)

The extreme polygons for the self Chebyshev radius of the boundary
by: Nikitenko, Evgenii V., et al.
Published: (2023)

Perfect and almost perfect homogeneous polytopes
by: Berestovskii, V. N., et al.
Published: (2023)

Constant curvature curves in dual affine and dual Lorentz-Minkowski planes
by: Aydın, Muhittin Evren, et al.
Published: (2025)

Geometric properties of rotation minimizing vector fields along curves in Riemannian manifolds
by: Etayo, Fernando
Published: (2016)

Curves and surfaces making a constant angle with a parallel transported direction in Riemannian spaces
by: da Silva, Luiz C. B., et al.
Published: (2024)

A necessary condition for cylindrical curves in terms of curvature and torsion
by: López, Rafael
Published: (2026)

Generalization of the catenary in the dual plane
by: Aydin, Muhittin Evren, et al.
Published: (2026)

A Characterization of Curves that Lie on a Totally Umbilical Surface of a Space Form
by: López, Rafael
Published: (2024)

Rotational Weingarten surfaces in Lorentz-Minkowski space
by: Carretero, Paula, et al.
Published: (2025)

Concircular hypersurfaces and concircular helices in space forms
by: Lucas, Pascual, et al.
Published: (2026)

A property that characterizes the Enneper surface and helix surfaces
by: Lucas, Pascual, et al.
Published: (2026)

Concircular helices and concircular surfaces in Euclidean 3-space R3
by: Lucas, Pascual, et al.
Published: (2026)

Characterizations of Loxodromes on Rotational Surfaces in Euclidean 3--Space
by: Aksoyak, Ferdağ Kahraman, et al.
Published: (2022)

Rotational surfaces with prescribed curvatures
by: Carretero, Paula, et al.
Published: (2023)

Area preserving Combescure transformations
by: Pirahmad, O., et al.
Published: (2024)

Flexible polyhedral nets in isotropic geometry
by: Pirahmad, O., et al.
Published: (2025)

On face angles of tetrahedra with a given base
by: Nikitenko, E. V., et al.
Published: (2025)

Numerical solution of the two-dimensional Calderon problem for domains close to a disk
by: Sharafutdinov, Vladimir A., et al.
Published: (2026)

Generalized Bishop frames of regular time-like curves in 4-dimensional Lorentz space $\mathbb{L}^{4}$
by: Nomoto, Subaru
Published: (2025)

Desargues's and Pappus's hexagon theorems on translation-type surfaces in Thurston geometries
by: Szirmai, Jenő
Published: (2026)

Interior angle sums of geodesic triangles and translation-like isoptic surfaces in Sol geometry
by: Csima, Géza, et al.
Published: (2024)

Translation-like Apollonius and triangular surfaces in non-constant curvature Thurston geometries
by: Csima, Géza, et al.
Published: (2024)

Counting normals to closed curves in $\mathbb{R}^3$
by: Panina, Gaiane, et al.
Published: (2026)

Biharmonic Curves in Warped Product Manifolds $I\times_{f}M^{n}\left( c\right) $
by: Güvenç, Şaban, et al.
Published: (2025)

Curves in Riemannian Manifolds Making Prescribed Angles With Torse-Forming Vector Fields
by: Aydin, Muhittin Evren, et al.
Published: (2026)

A note on helices in the Euclidean space and in the hyperbolic space
by: López, Rafael
Published: (2025)

On length-preserving and area-preserving inverse curvature flow of planar curves with singularities
by: Yang, Yunlong, et al.
Published: (2024)

Singular minimal surfaces with constant curvature
by: López, Rafael
Published: (2025)

Generalized Apollonius Circles As Equioptic Curves Of Circles In Constants Curvature Geometries
by: Csima, Géza
Published: (2026)

A translation of "What is differential geometry: curves and surfaces"
by: Petrunin, Anton, et al.
Published: (2026)

What is differential geometry: curves and surfaces
by: Petrunin, Anton, et al.
Published: (2020)

Two-dimensional metric spaces with curvature bounded above I
by: Nagano, Koichi, et al.
Published: (2021)

Isothermic nets with spherical parameter lines from discrete holomorphic maps
by: Hoffmann, Tim, et al.
Published: (2024)

Constant mean curvature surfaces in the sub-Lorentzian Heisenberg group
by: Borza, Samuël, et al.
Published: (2026)