The EfProb library for probabilistic calculations

DOI10.4230/LIPICS.CALCO.2017.25MaRDI QIDQ4580221zbMATH OpenOpenAlexFDO

Authors Kenta Cho, Bart Jacobs

Publication date 13 August 2018

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

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)

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

Cited in

(8)

• 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
• Some probabilistic riddles and some logical solutions
• Quantum effect logic in cognition
• scientific article; zbMATH DE number 7449983 (Why is no real title available?)
• Disintegration and Bayesian inversion via string diagrams

Describes a project that uses

Uses Software

• EfProb
• QWire
• Python
• Quipper
• Church

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)