Halbeinfache Automorphismengruppen von vierdimensionalen stabilen Ebenen sind quasi-einfach.
The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7], [16], [17]....
Der Artikel beschäftigt sich mit einigen Eigenschaften von hyperbolischen, d. h. gebrochen-affinen, Transformationen, welche für die Bilder konvexer Polyeder bei solchen Transformationen von Bedeutung sind. Es wird eine explizite Darstellung des Bildes eines konvexen Polyeders durch Ecken und Kanten des Urbildpolyeders gewonnen, die Konvexität des Bildes und das Bild des relativen Inneren einer konvexen Menge untersucht.