scientific article; zbMATH DE number 4198022

MaRDI QIDQ5203029zbMATH OpenFDO

Authors Walter Klotz

Publication date 1989

zbMATH Keywords

algorithmproof of Kuratowski's theorem

Mathematics Subject Classification ID

Graph algorithms (graph-theoretic aspects) (05C85) Planar graphs; geometric and topological aspects of graph theory (05C10)

Recommendations

• scientific article; zbMATH DE number 4097406
• scientific article; zbMATH DE number 3906547
• A strengthening of the Kuratowski planarity criterion for 3-connected graphs
• The theorem on planar graphs
• Edges and Kuratowski Subgraphs of Non-Planar Graphs

Cited in

(13)

• Proof-theoretic investigations on Kruskal's theorem
• An exercise in mathematical engineering: stating and proving Kuratowski theorem
• A constructive proof of the Gelfand--Kolmogorov theorem
• An intuitionistic proof of Kruskal's theorem
• A constructive proof of the Chang-Marshall theorem
• scientific article; zbMATH DE number 4154443 (Why is no real title available?)
• scientific article; zbMATH DE number 4097406 (Why is no real title available?)
• A new constructive version of Baire's theorem
• A constructive proof of Kirszbraun's theorem
• A Kuratowski-Mrówka theorem in approach theory
• A graphical criterion of planarity for RNA secondary structures with pseudoknots in Rivas-Eddy class
• A constructive proof of Masser’s Theorem
• A large set of torus obstructions and how they were discovered

This page was built for publication:

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