%0 Journal Article %T Planes and Spheres as Topological Manifolds. Stereographic Projection %A Marco Riccardi %J Formalized Mathematics %@ 1898-9934 %D 2012 %I %R 10.2478/v10037-012-0006-0 %X The goal of this article is to show some examples of topological manifolds: planes and spheres in Euclidean space. In doing it, the article introduces the stereographic projection [25]. %U http://versita.metapress.com/content/l1302h832560856n/?p=430716bb19384440aaea6ce45ed7408d&pi=5