REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2023, Volume 31, 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/15403
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKoch, Sebastian-
    dc.date.accessioned2023-10-09T10:57:31Z-
    dc.date.available2023-10-09T10:57:31Z-
    dc.date.issued2023-
    dc.identifier.citationFormalized Mathematics, Volume 31, Issue 1, Pages 31-52pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/15403-
    dc.description.abstractIn this article sets of certain subgraphs of a graph are formalized in the Mizar system [7], [1], based on the formalization of graphs in [11] briefly sketched in [12]. The main result is the spanning subgraph theorem.pl
    dc.language.isoenpl
    dc.publisherDeGruyter Openpl
    dc.rightsAttribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)pl
    dc.rights.urihttps://creativecommons.org/licenses/by-sa/3.0/pl
    dc.subjectgraph enumerationpl
    dc.subjectspanning treepl
    dc.titleIntroduction to Graph Enumerationspl
    dc.typeArticlepl
    dc.rights.holder© 2023 The Author(s)pl
    dc.rights.holderCC BY-SA 3.0 licensepl
    dc.identifier.doi10.2478/forma-2023-0004-
    dc.description.AffiliationMainz, Germanypl
    dc.description.referencesGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.pl
    dc.description.referencesJohn Adrian Bondy and U. S. R. Murty. Graph Theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008. ISBN 978-1-84628-969-9.pl
    dc.description.referencesRicky W. Butler and Jon A. Sjogren. A PVS graph theory library. Technical report, NASA Langley, 1998.pl
    dc.description.referencesChing-Tsun Chou. A formal theory of undirected graphs in higher-order logic. In Thomas F. Melham and Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19–22, 1994, Proceedings, volume 859 of Lecture Notes in Computer Science, pages 144–157. Springer, 1994. doi:10.1007/3-540-58450-1_40.pl
    dc.description.referencesReinhard Diestel. Graph Theory, volume Graduate Texts in Mathematics; 173. Springer, Berlin, fifth edition, 2017. ISBN 978-3-662-53621-6.pl
    dc.description.referencesJessica Enright and Piotr Rudnicki. Helly property for subtrees. Formalized Mathematics, 16(2):91–96, 2008. doi:10.2478/v10037-008-0013-3.pl
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.pl
    dc.description.referencesSebastian Koch. Miscellaneous graph preliminaries. Part I. Formalized Mathematics, 29 (1):21–38, 2021. doi:10.2478/forma-2021-0003.pl
    dc.description.referencesSebastian Koch. Underlying simple graphs. Formalized Mathematics, 27(3):237–259, 2019. doi:10.2478/forma-2019-0023.pl
    dc.description.referencesSebastian Koch. About graph sums. Formalized Mathematics, 29(4):249–278, 2021. doi:10.2478/forma-2021-0023.pl
    dc.description.referencesGilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235–252, 2005.pl
    dc.description.referencesGilbert Lee and Piotr Rudnicki. Alternative aggregates in Mizar. In Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger, editors, Towards Mechanized Mathematical Assistants, pages 327–341, Berlin, Heidelberg, 2007. Springer Berlin Heidelberg. ISBN 978-3-540-73086-6. doi:10.1007/978-3-540-73086-6_26.pl
    dc.description.referencesLars Noschinski. A graph library for Isabelle. Mathematics in Computer Science, 9(1): 23–39, 2015. doi:10.1007/s11786-014-0183-z.pl
    dc.description.referencesRobin James Wilson. Introduction to Graph Theory. Oliver & Boyd, Edinburgh, 1972. ISBN 0-05-002534-1.pl
    dc.identifier.eissn1898-9934-
    dc.description.volume31pl
    dc.description.issue1pl
    dc.description.firstpage31pl
    dc.description.lastpage52pl
    dc.identifier.citation2Formalized Mathematicspl
    dc.identifier.orcid0000-0002-9628-177X-
    Występuje w kolekcji(ach):Formalized Mathematics, 2023, Volume 31, Issue 1

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    10.2478_forma-2023-0004.pdf296,36 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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