Sciweavers

CASC
2009
Springer
119views Mathematics» more  CASC 2009»
14 years 6 months ago
A Symbolic Framework for Operations on Linear Boundary Problems
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
Markus Rosenkranz, Georg Regensburger, Loredana Te...