Introduction to graph enumerations

DOI10.2478/FORMA-2023-0004MaRDI QIDQ6071621zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 28 November 2023

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-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)

Recommendations

• On Operator and Formal Sum Methods for Graph Enumeration Problems
• Miscellaneous graph preliminaries
• Counting of spanning trees in complete graph K_p of even order
• scientific article; zbMATH DE number 5606398
• About graph unions and intersections

Cites work

• scientific article; zbMATH DE number 1118889 (Why is no real title available?)
• A graph library for Isabelle
• About graph sums
• Alternative Aggregates in Mizar
• Four decades of \textsc{Mizar}. Foreword
• Graph theory
• Graph theory
• Miscellaneous graph preliminaries. I
• The role of the Mizar mathematical library for interactive proof development in Mizar
• Underlying simple graphs

Cited in

(6)

• scientific article; zbMATH DE number 5606398 (Why is no real title available?)
• Some number relations
• About path and cycle graphs
• Graphical enumeration techniques: series expansions and animal problems
• scientific article; zbMATH DE number 6322906 (Why is no real title available?)
• scientific article; zbMATH DE number 6490941 (Why is no real title available?)

This page was built for publication: Introduction to graph enumerations

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