The Influence of Computers and Informatics on Mathematics and its Teaching: Computer-based Symbolic Mathematics for Discovery