ABACUS, educational software for solving mathematical problems