BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Markus Rosenkranz

Markus Rosenkranz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RAmath.CASymbolic Computationmath.ACMathematical Softwaremath.GRmath.PRq-fin.CPq-fin.RM

Catalog footprint

What is connected

10works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2015arXiv

An Algebraic Study of Multivariable Integration and Linear Substitution

We set up an algebraic theory of multivariable integration, based on a hierarchy of Rota-Baxter operators and an action of the matrix monoid as linear substitutions. Given a suitable coefficient domain with a bialgebra structure, this allows us to build an operator ring that acts naturally on the given Rota-Baxter hierarchy. We conjecture that the operator relations are a noncommutative Groebner basis for the ideal they generate.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such equations. In both cases, free objects are crucial for analyzing the underlying algebraic structures, e.g. of the (matrix) functions. In this paper we apply the method of Gröbner-Shirshov bases to construct the free (noncommutative) integro-differential algebra on a set. The construction is from the free Rota-Baxter algebra on the free differential algebra on the set modulo the differential Rota-Baxter ideal generated by the noncommutative integration by parts formula. In order to obtain a canonical basis for this quotient, we first reduce to the case when the set is finite. Then in order to obtain the monomial order needed for the Composition-Diamond Lemma, we consider the free Rota-Baxter algebra on the truncated free differential algebra. A Composition-Diamond Lemma is proved in this context, and a Gröbner-Shirshov basis is found for the corresponding differential Rota-Baxter ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Rota-Baxter operators on the polynomial algebras, integration and averaging operators

Rota-Baxter operators are an algebraic abstraction of integration. Following this classical connection, we study the relationship between Rota-Baxter operators and integrals in the case of the polynomial algebra $\mathbf{k}[x]$. We consider two classes of Rota-Baxter operators, monomial ones and injective ones. For the first class, we apply averaging operators to determine monomial Rota-Baxter operators. For the second class, we make use of the double product on Rota-Baxter algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients

We introduce a general algebraic setting for describing linear boundary problems in a symbolic computation context, with emphasis on the case of partial differential equations. The general setting is then applied to the Cauchy problem for completely reducible partial differential equations with constant coefficients. While we concentrate on the theoretical features in this paper, the underlying operator ring is implemented and provides a sufficient basis for all methods presented here.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Noncommutative Mikusinski Calculus

We set up a left ring of fractions over a certain ring of boundary problems for linear ordinary differential equations. The fraction ring acts naturally on a new module of generalized functions. The latter includes an isomorphic copy of the differential algebra underlying the given ring of boundary problems. Our methodology employs noncommutative localization in the theory of integro-differential algebras and operators. The resulting structure allows to build a symbolic calculus in the style of Heaviside and Mikusinski, but with the added benefit of incorporating boundary conditions where the traditional calculi allow only initial conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On Integro-Differential Algebras

The concept of integro-differential algebra has been introduced recently in the study of boundary problems of differential equations. We generalize this concept to that of integro-differential algebra with a weight, in analogy to the differential Rota-Baxter algebra. We construct free commutative integro-differential algebras with weight generated by a base differential algebra. This in particular gives an explicit construction of the integro-differential algebra on one generator. Properties of these free objects are studied.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Regular and Singular Boundary Problems in Maple

We describe a new Maple package for treating boundary problems for linear ordinary differential equations, allowing two-/multipoint as well as Stieltjes boundary conditions. For expressing differential operators, boundary conditions, and Green's operators, we employ the algebra of integro-differential operators. The operations implemented for regular boundary problems include computing Green's operators as well as composing and factoring boundary problems. Our symbolic approach to singular boundary problems is new; it provides algorithms for computing compatibility conditions and generalized Green's operators.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases

We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is based on canonical forms in certain commutative and noncommutative polynomial domains. The first of these, the ring of integro-differential operators, is used for both stating and solving linear boundary problems. The other structure, called integro-differential polynomials, is the key tool for describing extensions of integro-differential algebras. We use the canonical simplifier for integro-differential polynomials for generating an automated proof establishing a canonical simplifier for integro-differential operators. Our approach is fully implemented in the Theorema system; some code fragments and sample computations are included.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Exact and asymptotic results for insurance risk models with surplus-dependent premiums

In this paper we develop a symbolic technique to obtain asymptotic expressions for ruin probabilities and discounted penalty functions in renewal insurance risk models when the premium income depends on the present surplus of the insurance portfolio. The analysis is based on boundary problems for linear ordinary differential equations with variable coefficients. The algebraic structure of the Green's operators allows us to develop an intuitive way of tackling the asymptotic behavior of the solutions, leading to exponential-type expansions and Cramér-type asymptotics. Furthermore, we obtain closed-form solutions for more specific cases of premium functions in the compound Poisson risk model.

0 citations0 reviewsNo code linkedOpen access