Tools in Algebra Tools in Algebra for Integer Operations Tools in Algebra for Integer Operations Tools in Algebra for Properties of Reals Tools in Algebra for Number Systems