A computer verification of a conjecture about the Erdös-Mordell curve
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:
algebraic equation / computer verification / conjecture / Erdös-Mordell curveSource:
2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers, 2013, 1031-1034Funding / projects:
- Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education (RS-44006)
- Analysis and algebra with applications (RS-174032)
DOI: 10.1109/TELFOR.2013.6716408
ISBN: 978-1-4799-1420-3
Scopus: 2-s2.0-84894385014
Collections
Institution/Community
GraFarTY - CONF AU - Banjac, B.D. AU - Malesević, B.J. AU - Petrović, M.M. AU - Obradović, Marija PY - 2013 UR - https://grafar.grf.bg.ac.rs/handle/123456789/554 AB - 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. C3 - 2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers T1 - A computer verification of a conjecture about the Erdös-Mordell curve EP - 1034 SP - 1031 DO - 10.1109/TELFOR.2013.6716408 ER -
@conference{ author = "Banjac, B.D. and Malesević, B.J. and Petrović, M.M. and Obradović, Marija", year = "2013", 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.", journal = "2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers", title = "A computer verification of a conjecture about the Erdös-Mordell curve", pages = "1034-1031", doi = "10.1109/TELFOR.2013.6716408" }
Banjac, B.D., Malesević, B.J., Petrović, M.M.,& Obradović, M.. (2013). A computer verification of a conjecture about the Erdös-Mordell curve. in 2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers, 1031-1034. https://doi.org/10.1109/TELFOR.2013.6716408
Banjac B, Malesević B, Petrović M, Obradović M. A computer verification of a conjecture about the Erdös-Mordell curve. in 2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers. 2013;:1031-1034. doi:10.1109/TELFOR.2013.6716408 .
Banjac, B.D., Malesević, B.J., Petrović, M.M., Obradović, Marija, "A computer verification of a conjecture about the Erdös-Mordell curve" in 2013 21st Telecommunications Forum Telfor, TELFOR 2013 - Proceedings of Papers (2013):1031-1034, https://doi.org/10.1109/TELFOR.2013.6716408 . .