A taxicab version of the Erdős-Mordell theorem
Nilgün Sönmez (2009)
Kragujevac Journal of Mathematics
Similarity:
Nilgün Sönmez (2009)
Kragujevac Journal of Mathematics
Similarity:
Spirova, Margarita (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Govaert, Eline, Van Maldeghem, Hendrik (2002)
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.
Govaert, Eline, Van Maldeghem Hendrik (2002)
Beiträge zur Algebra und Geometrie
Similarity:
Gelişgen, Özcan, Kaya, Rüstem (2008)
APPS. Applied Sciences
Similarity:
Ling, Joseph M. (2004)
Beiträge zur Algebra und Geometrie
Similarity:
Ling, Joseph M. (2007)
Beiträge zur Algebra und Geometrie
Similarity:
J. Katona, E. Molnár, I. Prok, J. Szirmai (2011)
Kragujevac Journal of Mathematics
Similarity:
Pambuccian, Victor (2007)
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: