Shameless plug: Mathematica knows about Bayes' rule and makes reasoning about it quite simple. If you look here [0] you'll find Bayes' rule in the section: "Pr

Shameless plug: Mathematica knows about Bayes' rule and makes reasoning about it quite simple. If you look here [0] you'll find Bayes' rule in the section: "Properties and relations". What makes it extremely powerful is that it's fully symbolic so you can do things like: Probability[x^2 > a \[Conditioned] x < b, x \[Distributed] NormalDistribution[m, s]] and have it evalate to a bunch of Erf… [0] http://reference.wolfram.com/mathematica/ref/Probability.html http://reference.wolfram.com/mathematica/ref/Probability.htm...