Complex Geometry

Filip Marić 🌐 and Danijela Simić 🌐

December 16, 2019


A formalization of geometry of complex numbers is presented. Fundamental objects that are investigated are the complex plane extended by a single infinite point, its objects (points, lines and circles), and groups of transformations that act on them (e.g., inversions and Möbius transformations). Most objects are defined algebraically, but correspondence with classical geometric definitions is shown.
BSD License


Theories of Complex_Geometry