REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2005, Volume 13, Issue 1

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/21414
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKorniłowicz, Artur-
    dc.contributor.authorGrabowski, Adam-
    dc.date.accessioned2026-11-04T08:17:07Z-
    dc.date.available2026-11-04T08:17:07Z-
    dc.date.issued2005-
    dc.identifier.citationFormalized Mathematics, Volume 13, Issue 1, Pages 89-91pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21414-
    dc.description.abstractIn the paper we formalize some lemmas needed by the proof of the Jordan Curve Theorem according to [23]. We show basic properties of the upper and the lower approximations of a simple closed curve (as its compactness and connectedness) and some facts about special points of such approximations.pl
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleOn Some Points of a Simple Closed Curve. Part IIpl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.AffiliationArtur Korniłowicz - University of Białystokpl
    dc.description.AffiliationAdam Grabowski - University of Białystokpl
    dc.description.referencesGrzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.pl
    dc.description.referencesGrzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107–114, 1990.pl
    dc.description.referencesLeszek Borys. Paracompact and metrizable spaces. Formalized Mathematics, 2(4):481-485, 1991.pl
    dc.description.referencesCzesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.pl
    dc.description.referencesCzesław Byliński and Piotr Rudnicki. Bounding boxes for compact sets in E2. Formalized Mathematics, 6(3):427–440, 1997.pl
    dc.description.referencesCzesław Byliński and Mariusz Żynel. Cages– the external approximation of Jordan’s curve. Formalized Mathematics, 9(1):19–24, 2001.pl
    dc.description.referencesAgata Darmochwał. Compact spaces. Formalized Mathematics, 1(2):383–386, 1990.pl
    dc.description.referencesAgata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599–603, 1991.pl
    dc.description.referencesAgata Darmochwał and Yatsuka Nakamura. The topological space E2 T. Arcs, line segments and special polygonal arcs. Formalized Mathematics, 2(5):617–621, 1991.pl
    dc.description.referencesAgata Darmochwał and Yatsuka Nakamura. The topological space E2 T. Simple closed curves. Formalized Mathematics, 2(5):663–664, 1991.pl
    dc.description.referencesAdam Grabowski. On the Kuratowski limit operators. Formalized Mathematics, 11(4):399–409, 2003.pl
    dc.description.referencesKatarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475–480, 1991.pl
    dc.description.referencesStanisława Kanas, Adam Lecko, and Mariusz Startek. Metric spaces. Formalized Mathematics, 1(3):607–610, 1990.pl
    dc.description.referencesArtur Korniłowicz. On some points of a simple closed curve. Formalized Mathematics, 13(1):81–87, 2005.pl
    dc.description.referencesJarosław Kotowicz. Convergent real sequences. Upper and lower bound of sets of real numbers. Formalized Mathematics, 1(3):477–481, 1990.pl
    dc.description.referencesJarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2):269–272, 1990.pl
    dc.description.referencesRobert Milewski. On the upper and lower approximations of the curve. Formalized Mathematics, 11(4):425–430, 2003.pl
    dc.description.referencesYatsuka Nakamura and Czes law Byli´nski. Extremal properties of vertices on special polygons. Part I. Formalized Mathematics, 5(1):97–102, 1996.pl
    dc.description.referencesYatsuka Nakamura and Andrzej Trybulec. Decomposing a Go-board into cells. Formalized Mathematics, 5(3):323–328, 1996.pl
    dc.description.referencesYatsuka Nakamura and Andrzej Trybulec. A decomposition of a simple closed curves and the order of their points. Formalized Mathematics, 6(4):563–572, 1997.pl
    dc.description.referencesBeata Padlewska. Connected spaces. Formalized Mathematics, 1(1):239–244, 1990.pl
    dc.description.referencesBeata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990.pl
    dc.description.referencesYukio Takeuchi and Yatsuka Nakamura. On the Jordan curve theorem. Technical Report 19804, Dept. of Information Eng., Shinshu University, 500 Wakasato, Nagano city, Japan, April 1980.pl
    dc.description.referencesAndrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesAndrzej Trybulec. Left and right component of the complement of a special closed curve. Formalized Mathematics, 5(4):465–468, 1996.pl
    dc.description.referencesAndrzej Trybulec. On the decomposition of finite sequences. Formalized Mathematics, 5(3):317–322, 1996.pl
    dc.description.referencesZinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.pl
    dc.description.referencesEdmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume13pl
    dc.description.issue1pl
    dc.description.firstpage89pl
    dc.description.lastpage91pl
    dc.identifier.citation2Formalized Mathematicspl
    Występuje w kolekcji(ach):Formalized Mathematics, 2005, Volume 13, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    On_Some_Points_of_a_Simple_Closed_Curve_Part_II.pdf70,09 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons