About graph mappings

DOI10.2478/forma-2019-0024zbMath1433.68581OpenAlexW3007278226MaRDI QIDQ2305341

Sebastian Koch

Publication date: 10 March 2020

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

Full work available at URL: https://doi.org/10.2478/forma-2019-0024

zbMATH Keywords

graph homomorphismgraph isomorphism

Mathematics Subject Classification ID

Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (3)

Miscellaneous graph preliminaries ⋮ Miscellaneous graph preliminaries. I ⋮ About vertex mappings

Uses Software

• Mizar

Cites Work

• Four decades of {\textsc{Mizar}}. Foreword
• The role of the Mizar mathematical library for interactive proof development in Mizar
• About supergraphs. I
• About supergraphs. II
• Algebraic graph theory. Morphisms, monoids and matrices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: About graph mappings