W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17786| Tytuł: | On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality |
| Autorzy: | Nakasho, Kazuhisa Shidama, Yasunari |
| Słowa kluczowe: | isoperimetric theorem differential geometry parametric curve |
| Data wydania: | 2024 |
| Data dodania: | 9-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 195–201 |
| Abstrakt: | In this article we formalize in Mizar several properties of curves. We introduce the definition of the ArcLenP function and define arc length parametrization with its fundamental properties. Finally we prove an isoperimetric inequality that holds regardless of the curve’s parametrization. |
| Afiliacja: | Kazuhisa Nakasho - Yamaguchi University, Yamaguchi, Japan Yasunari Shidama - Karuizawa Hotch 244-1, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/17786 |
| DOI: | 10.2478/forma-2024-0016 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0003-1110-4342 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| On-the-Properties-of-Curves-and-ParametrizationIndependent-Isoperimetric-Inequality.pdf | 285,68 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
