2 search results for "tag:"category:Miscellaneous/Extracted Programs/Combinatorics""

Showing 1 - 2
  1. coq-buchberger

    No documentation

    Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases
    category:Mathematics/Algebra category:Miscellaneous/Extracted Programs/Combinatorics keyword:Gröbner basis keyword:polynomial ideal keyword:Buchberger's algorithm logpath:Buchberger date:2023-12-28
    Laurent Théry Henrik Persson
    8.18.0
    LGPL-2.1-or-later
    Used by 0 other packages
    28 Dec 2023
  2. coq-huffman

    No documentation

    Coq proof of the correctness of the Huffman coding algorithm
    category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms category:Miscellaneous/Extracted Programs/Combinatorics keyword:data compression keyword:code keyword:huffman tree logpath:Huffman date:2023-07-09
    Laurent Théry
    8.16.0
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Aug 2023