2
$\begingroup$

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

  • 5
    Good idea. I suppose this site is a sort of Mechanical Turk version of that software...2010-08-12

4 Answers 4