In a recent presentation by Sedgewick, he recounts in 1977 Flajolet noticed that they had a formula in common, both in different domains (see slide 4 in http://www.cs.princeton.edu/~rs/talks/AofA2AC.pdf )
I saw the same thing in an article on tantalizing links between matrix eigenvalues distributions, nuclear physics and Riemann's zeta zeros http://web.williams.edu/go/math/sjmiller/public_html/RH/Hayes_spectrum_riemannium.pdf
My question is: Say I have derived a formula/equation - how would I go about searching for an occurrence of the formula in other domains? Can I make Wolfram Alpha do that?
Thanks for any pointers