Can anyone advise a tool that is very convenient for verifying algebraic manipulations step by step as I work. I too often waste hours dealing with a wrong formula because I missed a sign somewhere. I use Mathematica for this by doing things as follow... but have found it awkward.
eq3 := 2 E^((b - d) t) (b - d) == b*E^((b - d) t) - d
eq4 := eq3[]/E^((b - d) t) == eq3[]/E^((b - d) t)
The basic requirement of the tool is to catch trivial mistakes immediately.
Just to make sure I was clear on this, I'm looking for a tool to verify after the fact that steps I took are accurate, not to show me steps for solving something.
I'm actually quite familiar with Mathematica and use it a lot, I'm just looking for something that is oriented more towards convenience for verification rather than solving.
What I really want is something to increase my efficiency when I'm "exploring" on my own, so I don't have to spend so much time double and triple checking my work for trivial errors.