author = {B. Buchberger},}
title = {{Symbolic Solution of Boundary Value Problems in Theorema}},
language = {english},
year = {2009},
month = {April 18},
annote = {2009-04-18-A},
note = {Invited colloquium talk at Colloquium Talk at University of Ohio, Athens, USA, Graduate Program in Algebra},
institution = {Colloquium Talk at University of Ohio, Athens, USA, Graduate Program in Algebra}