A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS
Branden Fitelson · The Review of Symbolic Logic · 2008
A decision procedure (PrSAT) for classical (Kolmogorov) probability calculus is presented. This decision procedure is based on an existing decision procedure for the theory of real closed fields, which has recently been implemented inMathematica. AMathematicaimplementation of PrSAT is also described, along with several applications to various non-trivial problems in the probability calculus.