The didactical challenge of symbolic calculators turning a computational device into a mathematical instrument / - Guin, Dominique.; Ruthven, Kenneth,; Trouche, Luc. (Mathematics education library ;)