Tools and technologies in mathematical didactics