8 search results for "tag:"category: Mathematics/Arithmetic and Number Theory/Number theory""

Showing 1 - 8
  1. coq-cantor

    No documentation

    On Ordinal Notations
    keyword: ordinal numbers keyword: well-foundedness keyword: termination keyword: rpo keyword: Goodstein sequences category: Mathematics/Logic category: Mathematics/Arithmetic and Number Theory/Number theory date: 2006-05-22
    Pierre Castéran <pierre.casteran@labri.fr> [http://www.labri.fr/~casteran/] Évelyne Contejean <contejea@lri.fr> [http://www.lri.fr/~contejea]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  2. coq-chinese

    No documentation

    A proof of the Chinese Remainder Lemma
    keyword: number theory keyword: chinese remainder keyword: primality keyword: prime numbers category: Mathematics/Arithmetic and Number Theory/Number theory
    Valérie Ménissier-Morain
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. 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
  4. coq-karatsuba

    No documentation

    Karatsuba's Multiplication
    keyword: Karatsuba multiplication keyword: binary ring category: Mathematics/Arithmetic and Number Theory/Number theory date: 2005-09-15
    Russell O'Connor <r.oconnor@cs.ru.nl> [http://r6.ca/]
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  5. coq-maths

    No documentation

    Basic mathematics
    keyword: mathematics category: Mathematics/Arithmetic and Number Theory/Number theory
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  6. coq-streams

    No documentation

    Specification of Eratosthene Sieve
    keyword: Streams keyword: Eratosthene Sieve keyword: prime numbers keyword: number theory keyword: primality category: Mathematics/Arithmetic and Number Theory/Number theory
    François Leclerc, Christine Paulin-Mohring
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  7. coq-sum-of-two-square

    No documentation

    Numbers equal to the sum of two square numbers
    keyword: number theory category: Mathematics/Arithmetic and Number Theory/Number theory date: 2004-12-13
    Laurent Thery
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  8. coq-zchinese

    No documentation

    A proof of the Chinese Remainder Lemma
    keyword: number theory keyword: chinese remainder keyword: primality keyword: prime numbers category: Mathematics/Arithmetic and Number Theory/Number theory category: Miscellaneous/Extracted Programs/Arithmetic
    Valérie Ménissier-Morain
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019