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/15418
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKoch, Sebastian-
    dc.date.accessioned2023-10-23T11:42:33Z-
    dc.date.available2023-10-23T11:42:33Z-
    dc.date.issued2023-
    dc.identifier.citationFormalized Mathematics, Volume 31, Issue 1, Pages 75-86pl
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/15418-
    dc.description.abstractIn this article regular graphs, both directed and undirected, are formalized in the Mizar system [7], [2], based on the formalization of graphs as described in [10]. The handshaking lemma is also proven.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.subjectregular graphspl
    dc.titleAbout Regular Graphspl
    dc.typeArticlepl
    dc.rights.holder© 2023 The Author(s)pl
    dc.rights.holderCC BY-SA 3.0 licensepl
    dc.identifier.doi10.2478/forma-2023-0008-
    dc.description.AffiliationMainz, Germanypl
    dc.description.referencesBroderick Arneson and Piotr Rudnicki. Chordal graphs. Formalized Mathematics, 14(3): 79–92, 2006. doi:10.2478/v10037-006-0010-3.pl
    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.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. 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 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.firstpage75pl
    dc.description.lastpage86pl
    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-0008.pdf265,97 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


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