Displaying similar documents to “Orthogonality as single primitive notion for metric planes.”

Routh’s, Menelaus’ and Generalized Ceva’s Theorems

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.

Qualitative investigation of nonlinear differential equations describing infiltration of water

Xingbao Wu (1995)

Annales Polonici Mathematici

Similarity:

A nonlinear differential equation of the form (q(x)k(x)u')' = F(x,u,u') arising in models of infiltration of water is considered, together with the corresponding differential equation with a positive parameter λ, (q(x)k(x)u')' = λF(x,u,u'). The theorems about existence, uniqueness, boundedness of solution and its dependence on the parameter are established.