Codice QDD 168 Titolo Teaching mathematics with automatic symbolic computation Data 2013-11-28 Autore/i Arioli, G. Link Download full text Abstract Abstract. We discuss how the concept of problem solving is central in current research in mathematics education, and how the difficulties of making computations by hand and the time spent in teaching computational skills can move the focus away from the main issues. We describe an experiment performed with students in Mathematical Engineering which shows how the use of automatic symbolic computation can dramatically improve the teaching of both abstract mathematics and the problem solving skills.