Displaying similar documents to “On the volume of unbounded polyhedra in the hyperbolic space.”

Generalized solutions to boundary value problems for quasilinear hyperbolic systems of partial differential-functional equations

Tomasz Człapiński (1992)

Annales Polonici Mathematici

Similarity:

Generalized solutions to quasilinear hyperbolic systems in the second canonical form are investigated. A theorem on existence, uniqueness and continuous dependence upon the boundary data is given. The proof is based on the methods due to L. Cesari and P. Bassanini for systems which are not functional.

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.