9 search results for "tag:"category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms""

Showing 1 - 9
  1. coq-additions

    No documentation

    Addition Chains
    keyword: addition chains category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category: Miscellaneous/Extracted Programs/Arithmetic
    Pierre Castéran
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-ails

    No documentation

    Proof of AILS algorithm
    keyword: ails keyword: aircraft keyword: trajectory keyword: conflict keyword: collision category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2002
    Olivier Desmettre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-founify

    No documentation

    Correctness and extraction of the unification algorithm
    keyword: First-order Unification keyword: Robinson category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category: Miscellaneous/Extracted Programs/Type checking unification and normalization
    Jocelyne Rouyer
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  4. coq-persistent-union-find

    No documentation

    Persistent Union Find
    keyword: program verification keyword: union-find keyword: data structures keyword: Tarjan category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms
    Jean-Christophe Filliâtre
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  5. coq-quicksort-complexity

    No documentation

    Proofs of Quicksort's worst- and average-case complexity
    keyword: quicksort keyword: complexity keyword: average-case category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2010-06
    Eelis
    8.10.0
    BSD
    Used by 0 other packages
    07 Dec 2019
  6. coq-random

    No documentation

    Interpretation of random programs
    keyword: randomized algorithms keyword: monads keyword: probability category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms
    Christine Paulin
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  7. 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
  8. coq-tortoise-hare-algorithm

    No documentation

    Tortoise and the hare algorithm
    keyword: program verification keyword: paths keyword: cycle detection keyword: graphs keyword: graph theory keyword: finite sets keyword: Floyd category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 2007-02
    Jean-Christophe Filliâtre
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  9. coq-tree-diameter

    No documentation

    Diameter of a binary tree
    keyword: program verification keyword: trees keyword: paths keyword: graphs keyword: distance keyword: diameter category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms
    Jean-Christophe Filliâtre
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019