Skip to main menu
Scroll to content
Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
Refine search results
Journals
1
Studies in Logic, Grammar and Rhetoric
Authors
1
Alama J.
Years
1
2009
Results found: 1
Page
/ 1
Search results
Search:
in the keywords: EULER'S POLYHEDRON FORMULA
Sort By:
accuracy
title
date descending
date ascending
journal title
author
Limit search:
in any field
in the title of publication
in the title of journal
among author
in the keywords
in references
Page
/ 1
1
A FORMAL PROOF OF EULER'S POLYHEDRON FORMULA
100%
Alama J.
Studies in Logic, Grammar and Rhetoric
|
2009
|
issue
18(31)
9-23
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.
Page
/ 1
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.