|
gptkb:Turingmaschine
|
formale Definition
|
|
gptkb:Elliptische_Kurven
|
Genus 1
|
|
gptkb:Elliptische_Kurven
|
Nicht-singulär
|
|
gptkb:Kähler-Mannigfaltigkeit
|
komplex
|
|
gptkb:Hyperbolische_Geometrie
|
unendliche Parallelen durch einen Punkt
|
|
gptkb:Hyperbolische_Geometrie
|
negative Krümmung
|
|
gptkb:Turingmaschine
|
endliche Zustandsmenge
|
|
gptkb:Hyperbolische_Geometrie
|
Parallelenaxiom gilt nicht
|
|
gptkb:Lie-Gruppe
|
kann einfach zusammenhängend sein
|
|
gptkb:Elliptische_Geometrie
|
geschlossene Geodäten
|
|
gptkb:Elliptische_Kurven
|
Projektiv
|
|
gptkb:Lie-Gruppe
|
kann nicht-kompakt sein
|
|
gptkb:Turingmaschine
|
universell
|
|
gptkb:Turingmaschine
|
abstrakt
|
|
gptkb:Hyperbolische_Geometrie
|
Winkelsumme im Dreieck < 180°
|
|
gptkb:Kähler-Mannigfaltigkeit
|
symplektisch
|
|
gptkb:Lie-Gruppe
|
kann kompakt sein
|
|
gptkb:Turingmaschine
|
diskrete Schritte
|
|
gptkb:Lie-Gruppe
|
lokal zusammenhängend
|
|
gptkb:Lie-Gruppe
|
kann nicht einfach zusammenhängend sein
|