The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Unbounded regions in an arrangement of lines in the plane.”

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.