Title :
A computer verification of a conjecture about the Erdös-Mordell curve
Author :
Banjac, Bojan D. ; Malesevic, Branko J. ; Petrovic, Maja M. ; Obradovic, Marija D.
Author_Institution :
Sch. of Electr. Eng., Univ. of Belgrade, Belgrade, Serbia
Abstract :
In this paper we consider Erdös-Mordell inequality and its extension in the plane of triangle to the Erdös-Mordell curve. Algebraic equation of this curve is derived, and using modern computer tools in mathematics, we verified one conjecture that relates to Erdös-Mordell curve.
Keywords :
algebra; computational geometry; mathematics computing; Erdös-Mordell curve; Erdös-Mordell inequality; algebraic equation; computer verification; Computers; Educational institutions; Equations; Image color analysis; Java; MATLAB; Visualization; Erdös-Mordell curve; algebraic equation; computer verification; conjecture;
Conference_Titel :
Telecommunications Forum (TELFOR), 2013 21st
Conference_Location :
Belgrade
Print_ISBN :
978-1-4799-1419-7
DOI :
10.1109/TELFOR.2013.6716408
