Highly Influenced

# Formalization of Planar Graphs

@inproceedings{Yamamoto1995FormalizationOP, title={Formalization of Planar Graphs}, author={Mitsuharu Yamamoto and Shin-ya Nishizaki and Masami Hagiya and Yozo Toda}, booktitle={TPHOLs}, year={1995} }

- Published 1995 in TPHOLs
DOI:10.1007/3-540-60275-5_77

Among many fields of mathematics and computer science, discrete mathematics is one of the most difficult fields to formalize because we prove theorems using intuitive inferences that have not been rigorously formalized yet. This paper focuses on graph theory from discrete mathematics and formalizes planar graphs. Although planar graphs are usually defined by embeddings into the two-dimensional real space, this definition can hardly be used for actually developing a formal theory of planar… CONTINUE READING

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

13 Extracted Citations

8 Extracted References

Similar Papers

#### Referenced Papers

##### Publications referenced by this paper.

Showing 1-8 of 8 references