3 search results for "tag:"keyword: probability""

Showing 1 - 3
  1. coq-ceramist

    No documentation

    Coq library for reasoning about probabilistic algorithms
    category:Computer Science/Data Types and Data Structures keyword: bloomfilter keyword: probability keyword: amq date:2020-04-06
    Kiran Gopinathan Ilya Sergey
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    06 Apr 2020
  2. coq-markov

    No documentation

    Markov's inequality
    keyword: probability keyword: Markov keyword: Lebesgue integration keyword: sigma algebras keyword: measurability keyword: Borel category: Mathematics/Real Calculus and Topology date: 2008-01-5
    Robert Kam <rkam2001@hotmail.com> [none]
    8.10.0
    GNU Lesser Public License
    Used by 0 other packages
    07 Dec 2019
  3. 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