O artykule
Data publikacji: 02 lut 2013
Zakres stron: 157 - 159
DOI: https://doi.org/10.2478/v10037-012-0018-9
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.