About supergraphs. I

DOI10.2478/FORMA-2018-0009MaRDI QIDQ2311519zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 10 July 2019

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

Full work available at URL https://doi.org/10.2478/forma-2018-0009

zbMATH Keywords

graph operationssupergraph

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Graph operations (line graphs, products, etc.) (05C76) Artificial intelligence (68T99)

Recommendations

• About supergraphs. III
• About supergraphs. II
• Miscellaneous graph preliminaries
• On super i‐connected graphs
• Superpositional graphs

Cites work

• Euler's polyhedron formula in mizar
• Graph theory
• scientific article; zbMATH DE number 3657692 (Why is no real title available?)
• scientific article; zbMATH DE number 3311627 (Why is no real title available?)
• scientific article; zbMATH DE number 3394154 (Why is no real title available?)
• Mizar: state-of-the-art and beyond
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(9)

• Unification of graphs and relations in Mizar
• About graph mappings
• About supergraphs. II
• About supergraphs. III
• About graph complements
• Miscellaneous graph preliminaries. I
• Superpositional graphs
• Constructing all nonisomorphic supergraphs with isomorphism rejection
• About path and cycle graphs

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: About supergraphs. I

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