Quelle ROOT

Sprache: Isabelle

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"

Messung V0.5 in Prozent

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-10) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.