Über diesen Artikel
Online veröffentlicht: 02. Feb. 2013
Seitenbereich: 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.