INFORMAZIONI SU QUESTO ARTICOLO
Pubblicato online: 02 feb 2013
Pagine: 157 - 159
DOI: https://doi.org/10.2478/v10037-012-0018-9
Parole chiave
This content is open access.
The goal of this article is to formalize Ceva’s theorem that is in the [8] on the web. Alongside with it formalizations of Routh’s, Menelaus’ and generalized form of Ceva’s theorem itself are provided.