author = {B. Buchberger},
title = {{The Role of Proving and Programming for Math Education}},
language = {english},
year = {2007},
month = {March 31-April 2},
annote = {2007-03-31-A},
note = {Invited talk at Conference on Learning Technologies and Mathematics},
institution = {Sultan Qabos University, Oman},
conferencename = {Conference on Learning Technologies and Mathematics}