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/21395
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKorniłowicz, Artur-
    dc.date.accessioned2026-11-02T13:38:30Z-
    dc.date.available2026-11-02T13:38:30Z-
    dc.date.issued2005-
    dc.identifier.citationFormalized Mathematics, Volume 13, Issue 1, Pages 81-87pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/21395-
    dc.language.isoenpl
    dc.publisherUniversity of Białystokpl
    dc.rightsAttribution-ShareAlike 4.0 International-
    dc.rightsCC BY-SA 4.0-
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/4.0/-
    dc.titleOn Some Points of a Simple Closed Curvepl
    dc.typeArticlepl
    dc.rights.holder© 2005 University of Białystokpl
    dc.rights.holderThis work is licensed under the Creative Commons License.pl
    dc.description.referencesGrzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41–46, 1990.pl
    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 finitesequences. 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. Gauges. Formalized Mathematics, 8(1):25–27, 1999.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.referencesKrzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990.pl
    dc.description.referencesKatarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475–480, 1991.pl
    dc.description.referencesArtur Korniłowicz. Properties of left and right components. Formalized Mathematics, 8(1):163–168, 1999.pl
    dc.description.referencesArtur Korniłowicz, Robert Milewski, Adam Naumowicz, and Andrzej Trybulec. Gauges and cages. Part I. Formalized Mathematics, 9(3):501–509, 2001.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.referencesYatsuka Nakamura and Czesław Byliński. Extremal properties of vertices on special polygons. Part I. Formalized Mathematics, 5(1):97–102, 1996.pl
    dc.description.referencesYatsuka Nakamura and Jarosław Kotowicz. The Jordan’s property for certain subsets of the plane. Formalized Mathematics, 3(2):137–142, 1992.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.referencesYatsuka Nakamura, Andrzej Trybulec, and Czesław Byliński. Bounded domains and unbounded domains. Formalized Mathematics, 8(1):1–13, 1999.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.referencesKonrad Raczkowski and Paweł Sadowski. Topological properties of subsets in real numbers. Formalized Mathematics, 1(4):777–780, 1990.pl
    dc.description.referencesAndrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990.pl
    dc.description.referencesAndrzej Trybulec. On the minimal distance between sets in Euclidean space. Formalized Mathematics, 10(3):153–158, 2002.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.firstpage81pl
    dc.description.lastpage87pl
    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.pdf98,92 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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