A new symbolic method for solving linear two-point boundary value problems on the level of operators

We have implemented our method as a Mathematica™ package, embedded in the TH∃OREM∀ system developed in the group of Prof. Bruno Buchberger. We show some computations performed by this package.