Heh. I’ve sometimes thought it’d be nice to have a copy of Eureqa or the other symbolic tools, to feed the Monte Carlo results into and see if I could deduce any exact formula given their hints. I don’t need exact formulas often but it’s nice to have them. I’ve noticed people can do apparently magical things with Mathematica in this vein. All proprietary AFAIK, though.
Heh. I’ve sometimes thought it’d be nice to have a copy of Eureqa or the other symbolic tools, to feed the Monte Carlo results into and see if I could deduce any exact formula given their hints. I don’t need exact formulas often but it’s nice to have them. I’ve noticed people can do apparently magical things with Mathematica in this vein. All proprietary AFAIK, though.
Writeup: https://www.gwern.net/Order-statistics#probability-of-bivariate-maximum