4 search results for "tag:"category: Mathematics/Arithmetic and Number Theory/Miscellaneous""

Showing 1 - 4
  1. 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
  2. coq-mod-red

    No documentation

    Efficient Reduction of Large Integers by Small Moduli
    keyword: Algorithms keyword: Performance keyword: Computer Arithmetic keyword: Modular Reduction keyword: Optimization category: Mathematics/Arithmetic and Number Theory/Miscellaneous date: 2007-12; Updated in April 2009
    Luc Rutten
    8.10.0
    GNU Lesser General Public License
    Used by 0 other packages
    07 Dec 2019
  3. 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
  4. coq-three-gap

    No documentation

    A Proof of the Three Gap Theorem (Steinhaus Conjecture)
    keyword: real numbers keyword: Steinhaus keyword: Three Gap Theorem category: Mathematics/Geometry category: Mathematics/Arithmetic and Number Theory/Miscellaneous
    Micaela Mayero
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019