The EfProb library for probabilistic calculations

DOI10.4230/LIPICS.CALCO.2017.25zbMATH Open1433.68266OpenAlexW2775816367MaRDI QIDQ4580221FDOQ4580221

Authors: Kenta Cho, Bart Jacobs 

Publication date: 13 August 2018

Full work available at URL: http://doi.org/10.4230/LIPIcs.CALCO.2017.25

Recommendations

• A decision procedure for probability calculus with applications
• Elementary probability theory in the Eindhoven style
• Computational probability. Algorithms and applications in the mathematical sciences
• scientific article; zbMATH DE number 1098889
• Foundations of probabilistic programming

zbMATH Keywords

probabilityeffectus theoryembedded language

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Eilenberg-Moore and Kleisli constructions for monads (18C20) Software, source code, etc. for problems pertaining to computer science (68-04)

Cited In (7)

• The Libra toolkit for probabilistic models
• Generating functions for probabilistic programs
• A note on distances between probabilistic and quantum distributions
• Learning along a channel: the expectation part of expectation-maximisation
• Quantum effect logic in cognition
• Title not available (Why is that?)
• Disintegration and Bayesian inversion via string diagrams

Uses Software

• Church
• Quipper
• Python
• QWire
• EfProb

This page was built for publication: The EfProb library for probabilistic calculations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580221)