About vertex mappings

DOI10.2478/FORMA-2019-0025MaRDI QIDQ2305342zbMATH OpenOpenAlexFDO

Authors Sebastian Koch

Publication date 10 March 2020

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

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

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)

Recommendations

• About graph mappings
• scientific article; zbMATH DE number 4110707
• scientific article; zbMATH DE number 3931915
• Miscellaneous graph preliminaries
• scientific article; zbMATH DE number 841560

Cites work

• About graph mappings
• Algebraic graph theory. Morphisms, monoids and matrices
• Four decades of \textsc{Mizar}. Foreword
• scientific article; zbMATH DE number 1118889 (Why is no real title available?)
• scientific article; zbMATH DE number 1542633 (Why is no real title available?)
• scientific article; zbMATH DE number 2117181 (Why is no real title available?)
• The role of the Mizar mathematical library for interactive proof development in Mizar

Cited in

(2)

• scientific article; zbMATH DE number 3931915 (Why is no real title available?)
• scientific article; zbMATH DE number 4110707 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: About vertex mappings

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