6 search results for "tag:"keyword: arithmetic""

Showing 1 - 6
  1. coq-exact-real-arithmetic

    No documentation

    Exact Real Arithmetic
    keyword: correctness keyword: real numbers keyword: arithmetic category: Mathematics/Arithmetic and Number Theory/Real numbers
    Jérôme Creci
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-fermat4

    No documentation

    Diophantus' 20th Problem and Fermat's Last Theorem for n = 4
    keyword: Diophantus keyword: Fermat keyword: arithmetic keyword: infinite descent category: Mathematics/Arithmetic and Number Theory/Number theory date: 2005-07
    David Delahaye Micaela Mayero
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. coq-fundamental-arithmetics

    No documentation

    Fundamental theorems of arithmetic
    keyword: arithmetic keyword: number theory category: Mathematics/Arithmetic and Number Theory/Miscellaneous date: 2008-02-1
    Sébastien Briais <sebastien.briais at ens-lyon.fr> [http://perso.ens-lyon.fr/sebastien.briais/]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  4. coq-mini-compiler

    No documentation

    Correctness of a tiny compiler for arithmetic expressions
    keyword: compilation keyword: correctness keyword: arithmetic category: Computer Science/Semantics and Compilation/Compilation date: 2003
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  5. coq-presburger

    No documentation

    Presburger's algorithm
    keyword: integers keyword: arithmetic keyword: decision procedure keyword: Presburger category: Mathematics/Logic/Foundations category: Mathematics/Arithmetic and Number Theory/Miscellaneous category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: March 2002
    Laurent Théry
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  6. coq-qarith

    No documentation

    A Library for Rational Numbers (QArith)
    keyword: Q keyword: arithmetic keyword: rational numbers keyword: setoid keyword: ring category: Mathematics/Arithmetic and Number Theory/Rational numbers category: Miscellaneous/Extracted Programs/Arithmetic
    Pierre Letouzey
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019