2 search results for "tag:"category: Mathematics/Real Numbers""

Showing 1 - 2
  1. coq-coinductive-reals

    No documentation

    Real numbers as coinductive ternary streams
    keyword: real numbers keyword: co-inductive types keyword: co-recursion keyword: exact arithmetic category: Mathematics/Real Numbers date: 2007-04-24
    Milad Niqui <milad@cs.ru.nl> [http://www.cs.ru.nl/~milad]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  2. coq-exact-real-arithmetic

    No documentation

    Exact Real Arithmetic
    keyword: correctness keyword: real numbers keyword: arithmetic category: Mathematics/Real Numbers
    Jérôme Creci
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019