author = {Bruno Buchberger},
title = {{Tutorial Session 4: Algorithms and Algorithmic Proving in Mathematica I}},
language = {english},
year = {2017},
month = {October 9},
note = {Invited talk at Workshop on Introduction to Computer Algebra and Applications, October 5-9, 2017},
institution = {African Institute for Mathematical Sciences, Douala, Kamerun},
sponsor = {Deutsche Volkswagen Stiftung and University of Kassel.},
conferencename = {Workshop on Introduction to Computer Algebra and Applications, October 5-9, 2017}