[jck]

What you're describing is arithmetic. I think most mathematicians will easily be beaten by a calculator - and they don't care. Mathematics isn't just mental arithmetic.

Can your TI-83 do any proofs?