Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Studies in Logic, Grammar and Rhetoric

Authors help

  1. 1 Alama J.

Years help

  1. 1 2009

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.