Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases (original) (raw)

A New Symbolic Method for Linear Boundary Value Problems Using Groebner Bases

Markus Rosenkranz

Citeseer

View PDFchevron_right

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra

Markus Rosenkranz

Lecture Notes in Computer Science, 2010

View PDFchevron_right

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

Markus Rosenkranz

Journal of Symbolic Computation, 2008

View PDFchevron_right

Integro-differential polynomials and operators

Markus Rosenkranz

Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08, 2008

View PDFchevron_right

A Symbolic Framework for Operations on Linear Boundary Problems

Markus Rosenkranz

Lecture Notes in Computer Science, 2009

View PDFchevron_right

A maple package for integro-differential operators and boundary problems

Markus Rosenkranz

ACM SIGSAM Bulletin, 2011

View PDFchevron_right

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

Markus Rosenkranz

Journal of Symbolic Computation, 2012

View PDFchevron_right

ON A SYMBOLIC METHOD FOR SECOND-ORDER BOUNDARY VALUE PROBLEMS OVER ALGEBRAS

Dr. Srinivasarao Thota

International Journal of Applied Mathematics, 2024

View PDFchevron_right

Solving systems of linear differential equations over integro-differential algebras

Dr. Srinivasarao Thota, Prof Shiv Datt Kumar

International Conference on Applications of Computer Algebra, 2012

View PDFchevron_right

On Symbolic Approaches to Integro-Differential Equations

Nathalie Verdiere

Algebraic and Symbolic Computation Methods in Dynamical Systems, 2020

View PDFchevron_right

On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring

F. Winkler

Mathematics in Computer Science, 2007

View PDFchevron_right

On a Symbolic Method for Fully Inhomogeneous Boundary Value Problems

Dr. Srinivasarao Thota

Kyungpook Mathematical Journal, 2019

View PDFchevron_right

Free integro-differential algebras and Gröbner–Shirshov bases

Markus Rosenkranz

Journal of Algebra, 2015

View PDFchevron_right

On integro-differential algebras

Markus Rosenkranz

Journal of Pure and Applied Algebra, 2014

View PDFchevron_right

Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases

Markus Rosenkranz

Applicable Analysis, 2003

View PDFchevron_right

Solving Linear Boundary Value Problems Via Non-commutative Gr�bner Bases

Markus Rosenkranz

Applicable Analysis, 2003

View PDFchevron_right

A skew polynomial approach to integro-differential operators

Markus Rosenkranz

Proceedings of the 2009 international symposium on Symbolic and algebraic computation - ISSAC '09, 2009

View PDFchevron_right

Algebraic aspects of differential equations

Nitin Serwa

2019

View PDFchevron_right

Canonical forms for polynomial and quadratic differential operators

Kiyotsugu Takaba

Systems & Control Letters, 2007

View PDFchevron_right

Maple Implementation of A Symbolic Method for Fully Inhomogeneous Boundary Value Problems

Dr. Srinivasarao Thota

Int. J. of Applied Mathematics, Computational Science and Systems Engineering, 2021

View PDFchevron_right

An algebraic foundation for factoring linear boundary problems

Markus Rosenkranz

Annali di Matematica Pura ed Applicata, 2009

View PDFchevron_right

SCSS 2010 Symbolic Computation in Software Science

B. Buchberger

2010

View PDFchevron_right

Symbolic Algorithm for a System of Differential-Algebraic Equations

Dr. Srinivasarao Thota

View PDFchevron_right

General polynomial reduction with TH 9 OREM 8 functors

Markus Rosenkranz, B. Buchberger

ACM SIGSAM Bulletin, 2009

View PDFchevron_right

Formal Solutions and Factorization of Differential Operators with Power Series Coefficients

Mark Van Hoeij

Journal of Symbolic Computation, 1997

View PDFchevron_right

Regular and Singular Boundary Problems in Maple

Markus Rosenkranz

Lecture Notes in Computer Science, 2011

View PDFchevron_right

A Symbolic Algorithm for Solving Two-Point BVPs on the Operator Level

Markus Rosenkranz

View PDFchevron_right

On the rings of formal solutions of polynomial differential equations

Maria-Angeles Zurro

Banach Center Publications, 1998

View PDFchevron_right

REVIEW: Involution: The Formal Theory of Differential Equations and Its Applications in Computer Algebra by Werner Seiler

Willy A Hereman

2011

View PDFchevron_right

The explicit computation of integration algorithms and first integrals for ordinary differential equations with polynomial coefficients using trees

Peter ofosu Antwi crouch

View PDFchevron_right

Symbolic Algorithm to Solve Initial Value Problems for Partial Differential Equations

Dr. Srinivasarao Thota

Bulletin of Computational Applied Mathematics, 2020

View PDFchevron_right

Formal functional equations and generalized Lie–Gröbner series

Ludwig Reich

Journal of Difference Equations and Applications, 2017

View PDFchevron_right

Differential Equations with Symbolic Computation

Jacques-arthur Weil

Trends in Mathematics, 2005

View PDFchevron_right

Concrete Resolution of Differential Problems using Tannakian Categories

Jacques-arthur Weil

View PDFchevron_right

Gröbner δ-bases and Gröbner bases for differential operators

M. Moreno-Frías

Differential Galois Theory, 2002

View PDFchevron_right