Abakus is a computer algebra program which performs not only. Arithmetic but even symbolic calculations of mathematical formulas. The current Android version 1. 0 contains the following functions: Exact arithmetic calculations, e. G. Handling of integer numbers with "arbitrary" size. Transforming mathematical formulas, e. G. Factorization of polynomials.