Rosenkranz, Markus and Regensburger, Georg and Tec, Loredana and Buchberger, Bruno (2012) Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Groebner Bases. In: Langer, Ulrich and Paule, Peter, eds. Numerical and Symbolic Scientific Computing: Progress and Prospects. Texts and Monographs in Symbolic Computation . Springer, Wien, pp. 273331. ISBN 0943853X. (doi:10.1007/9783709107942_5) (KAR id:26236)
PDF
Publisher pdf
Language: English 

Download (463kB)
Preview

Preview 
This file may not be suitable for users of assistive technology.
Request an accessible format


Official URL http://www.springer.com/mathematics/computational+... 
Abstract
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integrodifferential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is based on canonical forms in certain commutative and noncommutative polynomial domains. The first of these, the ring of integrodifferential operators, is used for both stating and solving linear boundary problems. The other structure, called integrodifferential polynomials, is the key tool for describing extensions of integrodifferential algebras. We use the canonical simplifier for integrodifferential polynomials for generating an automated proof establishing a canonical simplifier for integrodifferential operators. Our approach is fully implemented in the THEOREMA system; some code fragments and sample computations are included.
Item Type:  Book section 

DOI/Identification number:  10.1007/9783709107942_5 
Projects:  [152] F1322 
Uncontrolled keywords:  Symbolic computation; computer algebra; symbolic analysis; differential equations; boundary problems 
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:  17 Feb 2011 15:01 UTC 
Last Modified:  16 Nov 2021 10:04 UTC 
Resource URI:  https://kar.kent.ac.uk/id/eprint/26236 (The current URI for this page, for reference purposes) 
 Link to SensusAccess
 Export to:
 RefWorks
 EPrints3 XML
 BibTeX
 CSV
 Depositors only (login required):