Complex Geometry (Q7361828)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Complex_Geometry
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complex Geometry |
AFP entry Complex_Geometry |
Statements
16 December 2019
0 references
Filip Marić
0 references
Danijela Simić
0 references
Complex Geometry (English)
0 references
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.
0 references
