Title
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials
Abstract
General Polynomial Reduction. We outline a prototype implementation of the algorithms for integro-differential operators/polynomials in [12]. Our approach based on a generic implementation of noncommutative monoid rings with reduction, programmed in the functors language of the TH9OREM8 system. The integro-differential operators—realized by a suitable quotient of noncommutative polynomials over a given integro-differential algebra—can be used for solving and manipulating boundary problems for linear ordinary differential equations. For describing extensions of integro-differential algebras algorithmically, we use integro-differential polynomials. We use a fixed Gr¨ obner basis for normalizing integro-differential operators. Gr¨
Year
DOI
Venue
2008
10.1145/1504347.1504355
ACM Comm. Computer Algebra
Keywords
Field
DocType
general polynomial reduction,differential algebra,ordinary differential equation,differential operators
Fourier integral operator,Discrete mathematics,Algebra,Polynomial,Algebraic differential equation,Differential algebraic geometry,Constant coefficients,Differential operator,Integrating factor,Operator theory,Mathematics
Journal
Volume
Issue
Citations 
42
3
3
PageRank 
References 
Authors
0.52
7
4
Name
Order
Citations
PageRank
Bruno Buchberger1847168.26
Georg Regensburger214119.60
Markus Rosenkranz317516.66
Loredana Tec4427.75