This is just a forward-looking thought on the topic of using GP for experimental
mathematics (along the lines of David Bailey). My presentation is coming up in a
few weeks and I'd like to say a short something about experimental math
opportunities for GP, possibly in relation to PSLQ. It has been a bit of a pet
project for a physics prof at our university and eventually I'd like to set up ECJ as
a kind of experimental framework for him.
I presume it will be up to me to integrate the high precision library to make this
happen. I'm wondering if anyone has heard of this pairing before. A quick search
on Google didn't turn up much of anything.