Article ID Journal Published Year Pages File Type
10325758 Journal of Symbolic Computation 2005 29 Pages PDF
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Artificial Intelligence
Preview
A new symbolic method for solving linear two-point boundary value problems on the level of operators
Authors
,