WolframAlpha computational knowledge AI
0.51 = sum n from 0 to 12 (1-p)^n * p