The CC-version of Stewart's theorem.
Gelisgen, Ozcan, Kaya, Rustem (2009)
APPS. Applied Sciences
Similarity:
Gelisgen, Ozcan, Kaya, Rustem (2009)
APPS. Applied Sciences
Similarity:
Spirova, Margarita (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Boris A. Shminke (2012)
Formalized Mathematics
Similarity:
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.
J. Katona, E. Molnár, I. Prok, J. Szirmai (2011)
Kragujevac Journal of Mathematics
Similarity:
Gelişgen, Özcan, Kaya, Rüstem (2008)
APPS. Applied Sciences
Similarity:
Odehnal, Boris, Pottmann, Helmut, Wallner, Johannes (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Govaert, Eline, Van Maldeghem, Hendrik (2002)
Beiträge zur Algebra und Geometrie
Similarity:
Govaert, Eline, Van Maldeghem Hendrik (2002)
Beiträge zur Algebra und Geometrie
Similarity:
Marco Riccardi (2008)
Formalized Mathematics
Similarity:
The goal of this article is to formalize some theorems that are in the [17] on the web. These are elementary theorems included in every handbook of Euclidean geometry and trigonometry: the law of cosines, the Heron's formula, the isosceles triangle theorem, the intersecting chords theorem and the Ptolemy's theorem.MML identifier: EUCLID 6, version: 7.8.09 4.97.1001
Buchholz, Ralph H., De Launey, Warwick (2009)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Ling, Joseph M. (2007)
Beiträge zur Algebra und Geometrie
Similarity:
Pambuccian, Victor (2007)
Beiträge zur Algebra und Geometrie
Similarity: