Verified computations for hyperbolic 3-manifolds (Q2801070)

From MaRDI portal





scientific article; zbMATH DE number 6570588
Language Label Description Also known as
default for all languages
No label defined
    English
    Verified computations for hyperbolic 3-manifolds
    scientific article; zbMATH DE number 6570588

      Statements

      Verified Computations for Hyperbolic 3-Manifolds (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      19 April 2016
      0 references
      hyperbolic 3-manifold
      0 references
      interval arithmetic
      0 references
      Krawczyk's test
      0 references
      verified numerical computations
      0 references
      0 references
      0 references
      0 references

      Identifiers