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.7 Sekunden
(vorverarbeitet am 2026-06-10)
¤
*© Formatika GbR, Deutschland
