PL EN


2009 | 18(31) | 9-23
Article title

A FORMAL PROOF OF EULER'S POLYHEDRON FORMULA

Authors
Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
Euler's polyhedron formula asserts for a polyhedron p that V - E + F = 2, where V , E, and F are, respectively, the numbers of vertices, edges, and faces of p. This paper concerns a formal proof in the mizar system of Euler's polyhedron formula carried out [1] by the author. We discuss the informal proof (Poincaré's) on which the formal proof is based, the formalism in which the proof was carried out, notable features of the formalization, and related projects.
Year
Issue
Pages
9-23
Physical description
Document type
ARTICLE
Contributors
  • Jesse Alama, Department of Philosophy, Stanford University, USA
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA10161
YADDA identifier
bwmeta1.element.5da84f57-3b70-3457-913b-c1494964ff33
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.