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

DOI10.1016/j.jsc.2011.12.022zbMath1241.65066MaRDI 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 analysis; Groebner bases; integro-differential algebras; algorithmic functors; Baxter algebras; linear boundary problems; theorema; Wen-Tsun Wu; Wolfgang Groebner

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

34L05: General spectral theory of ordinary differential operators

65L10: Numerical solution of boundary value problems involving ordinary differential equations

34B05: Linear boundary value problems for ordinary differential equations

65M99: Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems

Related Items

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

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