HISTABRUT: A Maple Package for Symbol-Crunching in Probability theory
arXiv:1009.2984
Abstract
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.
3 pages. Describes the Maple package HISTABRUT, http://www.math.rutgers.edu/~zeilberg/tokhniot/HISTABRUT. Sample input and output files are available at http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/histabrut.html. Exclusively published in arXiv and in the electronic Personal Journal of Ekhad and Zeilberger http://www.math.rutgers.edu/~zeilberg/pj.html, Aug. 25, 2010