A case of the 3-dimensional problem of Appollonius.
Page 1 Next
J.B. Wilker, M. Paluszny (1991)
Aequationes mathematicae
Chandler, Ray, Ionascu, Eugen J. (2008)
Integers
George A. Tsintsifas (1987)
Elemente der Mathematik
Sliepčiević, Ana (2005)
Mathematica Pannonica
Alain Connes (1998)
Publications Mathématiques de l'IHÉS
Krasopoulos, Panagiotis T. (2008)
APPS. Applied Sciences
Hamann, Marco (2009)
Beiträge zur Algebra und Geometrie
W. Gmeiner (1989)
Elemente der Mathematik
Ionascu, Eugen J. (2007)
Journal of Integer Sequences [electronic only]
Eastwood, Michael, Norbury, Paul (2001)
Geometry & Topology
George Shoobridge Carr (1886)
Radić, Mirko (2005)
Beiträge zur Algebra und Geometrie
H. Edler (1883)
Bulletin des Sciences Mathématiques et Astronomiques
Cipu, Mihai (2004)
Acta Universitatis Apulensis. Mathematics - Informatics
Roland Coghetto (2016)
Formalized Mathematics
We introduce the altitudes of a triangle (the cevians perpendicular to the opposite sides). Using the generalized Ceva’s Theorem, we prove the existence and uniqueness of the orthocenter of a triangle [7]. Finally, we formalize in Mizar [1] some formulas [2] to calculate distance using triangulation.
Darko Veljan (1996)
Elemente der Mathematik
Dospinescu, Gabriel, Lascu, Mircea, Pohoata, Cosmin, Tetiva, Marian (2008)
JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]
Walter Benz (1987)
Elemente der Mathematik
H. Harborth, A. Kemnitz, M. ` Möller (1993)
Discrete & computational geometry
Radić, Mirko (2008)
Beiträge zur Algebra und Geometrie
Page 1 Next