android app for managing mathematical formulas