A taxicab version of the Erdős-Mordell theorem
Nilgün Sönmez (2009)
Kragujevac Journal of Mathematics
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: