Displaying similar documents to “Equiform kinematics and the geometry of line elements.”

A 4₃ configuration of lines and conics in ℙ⁵

Tomasz Szemberg (1994)

Annales Polonici Mathematici

Similarity:

Studying the connection between the title configuration and Kummer surfaces we write explicit quadratic equations for the latter. The main results are presented in Theorems 8 and 16.

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.