In our symbolic approach to boundary problems for linear ordinary differential equations we use the algebra of integro-differential operators as an algebraic analogue of differential, integral and boundary operators (Section 2). They allow to express the problem statement (differential equation and boundary conditions) as well as the solution operator (an integral operator called "Green's operator"), and they are the basis for operations on boundary problems like solving and factoring [14,17]. A survey of the implementation is given in [18]. © 2010 Springer-Verlag.
CITATION STYLE
Tec, L., Regensburger, G., Rosenkranz, M., & Buchberger, B. (2010). An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6327 LNCS, pp. 245–248). https://doi.org/10.1007/978-3-642-15582-6_41
Mendeley helps you to discover research relevant for your work.