Displaying similar documents to “Classification of the Maximal Subsemigroups of the Semigroup of all Partial Order-Preserving Transformations Върху максималните подполугрупи на моноида от всички частични запазващи наредбата преобразования”

Differential Equations on Functions from R into Real Banach Space

Keiko Narita, Noboru Endou, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

In this article, we describe the differential equations on functions from R into real Banach space. The descriptions are based on the article [20]. As preliminary to the proof of these theorems, we proved some properties of differentiable functions on real normed space. For the proof we referred to descriptions and theorems in the article [21] and the article [32]. And applying the theorems of Riemann integral introduced in the article [22], we proved the ordinary differential equations...

The Farey graph.

Jones, Gareth A. (1987)

Séminaire Lotharingien de Combinatoire [electronic only]

Similarity: