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 Buchberger | 1 | 847 | 168.26 |
Georg Regensburger | 2 | 141 | 19.60 |
Markus Rosenkranz | 3 | 175 | 16.66 |
Loredana Tec | 4 | 42 | 7.75 |