A short proof and a strengthening of the Whitney 2-isomorphism theorem on graphs.

Alexander K. Kelmans

Published in: Discret. Math. (1987)

Keyphrases

graph isomorphism
interactive theorem proving
graph theory
subgraph isomorphism
graph search
graph matching
graph theoretic
mathematical proofs
graph structure
series parallel
neural network
pairwise
bipartite graph
graph mining
complex structures
von neumann