3 search results for "tag:"keyword: Chinese remainder""

Showing 1 - 3
  1. 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
  2. coq-rsa

    No documentation

    Correctness of RSA algorithm
    keyword: RSA keyword: Chinese remainder keyword: Fermat's little theorem category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 1999
    Jose C. Almeida Laurent Théry
    8.10.0
    LGPL-2.1-only
    Used by 0 other packages
    07 Dec 2019
  3. 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