# Complex Geometry

 Title: Complex Geometry Authors: Filip Marić (filip /at/ matf /dot/ bg /dot/ ac /dot/ rs) and Danijela Simić Submission date: 2019-12-16 Abstract: 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. BibTeX: @article{Complex_Geometry-AFP, author = {Filip Marić and Danijela Simić}, title = {Complex Geometry}, journal = {Archive of Formal Proofs}, month = dec, year = 2019, note = {\url{http://isa-afp.org/entries/Complex_Geometry.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Used by: Poincare_Disc Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.