About path and cycle graphs

DOI10.2478/FORMA-2024-0014MaRDI QIDQ6966300zbMATH OpenFDO

Authors Sebastian Koch

Publication date 30 June 2025

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

Full work available at URL https://doi.org/10.2478/FORMA-2024-0014

zbMATH Keywords

cycle graphpath graph

Mathematics Subject Classification ID

Paths and cycles (05C38) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• A graph library for Isabelle
• About regular graphs
• About supergraphs. I
• About supergraphs. III
• Alternative Aggregates in Mizar
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• Graph theory
• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• Introduction to graph enumerations
• Refined finiteness and degree properties in graphs
• The role of the Mizar mathematical library for interactive proof development in Mizar

This page was built for publication: About path and cycle graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6966300)