Sometimes when I am reading a mathematical text I will be unable to decipher the steps necessary to translate one mathematical statement into the next. Usually I have to ask for help, but I was wondering if there is a software package that would let me enter two mathematical statements and the it would find the steps necessary to get from the start to the finish.
I realize that this not tractable in general, however, it would seem with the right heuristics it could still be possible many times.
This is a response both to my own experience and this question: Question Relating Gamma Function to Riemann Zeta function evaluated at integers