Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
chapter AFP
session Poincare_Disc = Complex_Geometry +
options [timeout = 1200]
sessions
"Complex_Geometry"
theories
Hyperbolic_Functions
Tarski
Poincare_Lines
Poincare_Lines_Ideal_Points
Poincare_Distance
Poincare_Circles
Poincare_Between
Poincare_Lines_Axis_Intersections
Poincare_Perpendicular
Poincare
Poincare_Tarski
document_files
"root.bib"
"root.tex"
[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-09-29]
