In this research we aimed to offer students the knowledge of the existence of only five types of regular Plato’s polyhedra, through formal demonstration and practical work of construction of these polyhedra. We presented ...

We present in this work two strategies to calculate the volume of some convex polyhedra of the following classes: Platonic polyhedra, Archimedean polyhedra, Catalan’s polyhedra and Johnson’s polyhedra. These strategies ...

We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This ...