Ganzzahlige Multiplication der elliptischen Functionen in Verbindung mit dem Schliessungsproblem.
Gemeinsame Eigenschaften der zentralen, normalen, parallelen und überparallelen Projektionen im dreidimensionalen hyperbolischen Raum
Generalization of one Baer's theorem for nets
Geometrical considerations for ruling over the distribution of intensity of illumination on a skew ruled surface
Geometrické upotřebení některých pouček o determinantech. [I.]
Geometrické upotřebení některých pouček o determinantechGeometric application of some theorems on determinants. [II.]
Geometrische Interpretation der Potenz einer Geraden bezüglich eines Klassenkegelschnitts
Geometrische Krystallographie [Book]
Group of Homography in Real Projective Plane
Using the Mizar system [2], we formalized that homographies of the projective real plane (as defined in [5]), form a group. Then, we prove that, using the notations of Borsuk and Szmielew in [3] “Consider in space ℝℙ2 points P1, P2, P3, P4 of which three points are not collinear and points Q1,Q2,Q3,Q4 each three points of which are also not collinear. There exists one homography h of space ℝℙ2 such that h(Pi) = Qi for i = 1, 2, 3, 4.” (Existence Statement 52 and Existence Statement 53) [3]. Or,...
Gruppi finiti di trasformazioni cremoniane intere