Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno
(2009)
*
A symbolic framework for operations on linear boundary problems.
*
In: Gerdt, V.P. and Mayr, E.W. and Vorozhtsov, E.V., eds.
Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing.
Lecture Notes in Computer Science, 5743
.
Springer, pp. 269-283.
ISBN 978-3-642-04102-0.
(doi:10.1007/978-3-642-04103-7_24)
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:29967)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication) | |

Official URL http://dl.acm.org/citation.cfm?id=1691130 |

## Abstract

We describe a symbolic framework for treating linear boundary

ordinary differential equations, the operations implemented include computing

operators, and factoring boundary problems. Based on our

computing Green’s operators of simple boundary problems for partial

theoretical background on abstract boundary problems, we outline an

describe the implementation in Theorema, which relies on functors for

sample computations including the unbounded wave equation.

Item Type: | Book section |
---|---|

DOI/Identification number: | 10.1007/978-3-642-04103-7_24 |

Uncontrolled keywords: | Linear boundary problem; Green’s operator; Integro-Differential Operator; Ordinary Differential Equation; Wave Equation |

Subjects: |
Q Science > QA Mathematics (inc Computing science) > QA150 Algebra Q Science > QA Mathematics (inc Computing science) > QA372 Ordinary differential equations Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |

Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Mathematics, Statistics and Actuarial Science |

Depositing User: | Markus Rosenkranz |

Date Deposited: | 27 Jul 2012 15:36 UTC |

Last Modified: | 16 Feb 2021 12:40 UTC |

Resource URI: | https://kar.kent.ac.uk/id/eprint/29967 (The current URI for this page, for reference purposes) |

- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV

- Depositors only (login required):