Example image of eyePlorer eyePlorer map for 'Fáry's theorem': Graph drawing Line segment Planar graph István Fáry Mathematical induction Art gallery problem Schnyder's theorem Arboricity Spring (device) W. T. Tutte Steinitz's theorem Circle packing theorem Intersection graph Heiko Harborth Cubic graph Planar straight-line graph List of theorems Planarity testing Geometric graph theory Toroidal graph