Introduction to graph enumerations

DOI10.2478/forma-2023-0004OpenAlexW4387107348MaRDI QIDQ6071621

Sebastian Koch

Publication date: 28 November 2023

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2023-0004

zbMATH Keywords

spanning treegraph enumeration

Mathematics Subject Classification ID

Trees (05C05) Enumeration in graph theory (05C30) Formalization of mathematics in connection with theorem provers (68V20)

Cites Work

• Unnamed Item
• Unnamed Item
• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• A graph library for Isabelle
• About graph sums
• Underlying simple graphs
• Miscellaneous graph preliminaries. I
• Graph Theory
• Alternative Aggregates in Mizar

This page was built for publication: Introduction to graph enumerations