@misc{RISC4081,
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}
}