User contributions for 171.66.180.178
Jump to navigation
Jump to search
7 July 2012
- 19:1219:12, 7 July 2012 diff hist +4,726 N Doob martingale →Definition: I cited what I think is the first occurrence of a "Doob martingale" in the literature; don't know how to do this properly -- Don Knuth