Transforming problems from analysis to algebra: a case study in linear boundary problems

DOI10.1016/j.jsc.2011.12.022zbMath1241.65066OpenAlexW2289649184MaRDI QIDQ413404

Bruno Buchberger, Markus Rosenkranz

Publication date: 7 May 2012

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2011.12.022

zbMATH Keywords

symbolic analysisGroebner basesintegro-differential algebrasalgorithmic functorsBaxter algebraslinear boundary problemstheoremaWen-Tsun WuWolfgang Groebner

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) General spectral theory of ordinary differential operators (34L05) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Linear boundary value problems for ordinary differential equations (34B05) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99)

Related Items

Numerical solution of third order linear differential equations using generalized one-shot operational matrices in orthogonal hybrid function domain ⋮ An integro-differential structure for Dirac distributions ⋮ A noncommutative algebraic operational calculus for boundary problems ⋮ An algebraic study of multivariable integration and linear substitution

Uses Software

• gfun
• Maple
• Theorema

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear differential elimination for analytic functions
• An algebraic operator approach to the analysis of Gerber-Shiu functions
• An algebraic foundation for factoring linear boundary problems
• An analytic problem whose solution follows from a simple algebraic identity
• Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
• An introduction to commutative and noncommutative Gröbner bases
• Symbolic integration I: Transcendental functions
• A new symbolic method for solving linear two-point boundary value problems on the level of operators
• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• On differential Rota-Baxter algebras.
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
• A skew polynomial approach to integro-differential operators
• Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
• Regular and Singular Boundary Problems in Maple
• A Symbolic Framework for Operations on Linear Boundary Problems
• On the ring of hurwitz series
• GFUN
• Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases
• An Introduction to Partial Differential Equations
• A symbolic framework for general polynomial domains in theorema
• Integro-differential polynomials and operators
• The Problem of Integration in Finite Terms
• Baxter algebras and combinatorial identities. I