1 3 Werner M.Seiler Page 1 1 3 algorithms and computation in mathematics 24 Involution
The Formal Theory of Differential Equations and its Applications in Computer Algebra Werner …

Investigating the correspondence between systems of partial differential equations and their
analytic solutions using a formal approach, this monograph presents algorithms to …

In this paper we describe an efficient involutive algorithm for constructing Groebner bases of
polynomial ideals. The algorithm is based on the concept of involutive monomial division …

Involutive bases are a special form of non-reduced Gröbner bases with additional
combinatorial properties. Their origin lies in the Janet–Riquier theory of linear systems of …

In this paper, we provide a new and more general filtration to the family of noncommutative
rings known as skew PBW extensions. We introduce the notion of σ-filtered skew PBW …

This paper surveys a work in the area of Janet's algorithm and involutive bases at Lehrstuhl
B für Mathematik, RWTH Aachen. The emphasis is on the Maple and C++ implementations …

This thesis treats structural properties of control systems, eg controllability or
parametrizability of their behavior, from an algebraic point of view. It is in the tradition of RE …

We establish doubly-exponential degree bounds for Gröbner bases in certain algebras of
solvable type over a field (as introduced by Kandri-Rody and Weispfenning). The class of …

arxiv:math/0208247v2 [math.AC] 29 Aug 2007 Page 1 arxiv:math/0208247v2 [math.AC] 29
Aug 2007 AAECC manuscript No. (will be inserted by the editor) A Combinatorial Approach …

In the early 1970s, M. Sato introduced a-, b-and c-functions associated to prehomogeneous
vector spaces [SS72]. Simultaneously and independently, J. Bernstein defined b-functions …