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](https://math.stackexchange.com/questions/2269/question-relating-gamma-function)