An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra

Authors:
Loredana Tec;Georg Regensburger;Markus Rosenkranz;Bruno Buchberger
Affiliations:
Research Institute for Symbolic Computation, Johannes Kepler University, Austria;Johann Radon Institute for Computational and Applied Mathematics, Austrian Academy of Sciences, Linz, Austria;School of Mathematics, Statistics and Actuarial Science, University of Kent, Canterbury, United Kingdom;Research Institute for Symbolic Computation, Johannes Kepler University, Austria
Venue:
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Year:
2010

Citing 7
Cited 0

Solving and factoring boundary problems for linear ordinary differential equations in differential algebras

Journal of Symbolic Computation
Integro-differential polynomials and operators

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials

ACM Communications in Computer Algebra
A Symbolic Framework for Operations on Linear Boundary Problems

CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
A new symbolic method for solving linear two-point boundary value problems on the level of operators

Journal of Symbolic Computation
Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal

Journal of Symbolic Computation
Plural, a non-commutative extension of singular: past, present and future

ICMS'06 Proceedings of the Second international conference on Mathematical Software

Quantified Score

Hi-index	0.00

Visualization

Abstract