author = {Bruno Buchberger},
title = {{Tutorial Session 15: Algorithms and Algorithmic Proving in Mathematica II (Materials)}},
language = {english},
year = {2017},
month = {October 10},
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}