HISTABRUT: A Maple Package for Symbol-Crunching in Probability theory. One of the main uses of computers is to do statistical analysis of data. But, so far, the theory of statistics, and its noble mother, Probability theory, were all discovered and developed by lowly humans. No more! Computers can also develop probability theory (and statistics), and discover (and prove!) general theorems of much larger depth than those discovered by human-kind. Of course, at this time of writing, they still need these inferior humans to give them a head-start by teaching (i.e. programming) them to develop probability theory ab initio (only better!), but even this will soon be superfluous.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Doron Zeilberger: Doron Gepner’s Statistics on Words in {1,2,3} is (most probably) Asymptotically Logistic (2016) arXiv