Quelle ROOT

Sprache: C

chapter AFP
session GyrovectorSpaces = "Poincare_Disc" +
  options [timeout = 600]
  sessions
    "HOL-Types_To_Sets"

(* The top-level theories of the submission: *)
  theories
    GyroVectorSpace
    Abe
    Einstein
    GammaFactor
    GyroGroup
    Gyrotrigonometry
    GyroVectorSpaceIsomorphism
    GyroVectorSpaceTrivial
    hDistance
    HyperbolicFunctions
    MobiusCollinear
    MobiusGeometry
    MobiusGyroGroup
    MobiusGyroTarski
    MobiusGyrotrigonometry
    MobiusGyroVectorSpace
    MoreComplex
    More_Real_Vector
    Poincare
    PoincareDisc
    TarskiIsomorphism
    VectorSpace

  document_files
    "root.bib"
    "root.tex"

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet am 2026-07-01) ¤

Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.