Add to ORKGAbstract. In this paper, we present a characteristic set method for mixed difference and differential polynomial systems. We introduce the concepts of coherent, regular, proper irreducible, and strong irreducible ascending chains and study their properties. We give an algorithm which can be used to decompose the zero set for a finitely generated difference and differential polynomial set into the union of the zero sets of reflexive ideals represented by its characteristic set
. We present an effective version of Ritt's algorithm. We apply material of (Boulier et al. 199...
AbstractThe concepts of Gröbner cone, Gröbner fan, and universal Gröbner basis are generalized to th...
In the existing literature, characteristic sets in constructive commutative algebra are defined in t...
Abstract. In this paper, we present a characteristic set method for mixed difference and differentia...
AbstractIn this paper, we present a characteristic set method for mixed differential and difference ...
We prove several basic properties for difference ascending chains includ-ing a necessary and suffici...
Abstract. We prove several basic properties for difference ascending chains including a unique repre...
AbstractWe prove several basic properties for difference ascending chains, including a necessary and...
In this paper, we propose a characteristic set theory for partial difference polynomial systems. Fir...
AbstractThis paper provides a general view of differential-algebraic decision methods and their appl...
The notion of characteristic sets, which are a special kind of triangular sets, is introduced by J. ...
We propose an algorithm for transforming a characteristic decomposition of a radical differential id...
AbstractWe propose an algorithm for transforming a characteristic decomposition of a radical differe...
Abstract. We give upper bounds for the order of the elements in a charac-teristic set of a regular d...
AbstractThis paper presents some applications of the theory of weakly nondegenerate conditions obtai...
. We present an effective version of Ritt's algorithm. We apply material of (Boulier et al. 199...
AbstractThe concepts of Gröbner cone, Gröbner fan, and universal Gröbner basis are generalized to th...
In the existing literature, characteristic sets in constructive commutative algebra are defined in t...
Abstract. In this paper, we present a characteristic set method for mixed difference and differentia...
AbstractIn this paper, we present a characteristic set method for mixed differential and difference ...
We prove several basic properties for difference ascending chains includ-ing a necessary and suffici...
Abstract. We prove several basic properties for difference ascending chains including a unique repre...
AbstractWe prove several basic properties for difference ascending chains, including a necessary and...
In this paper, we propose a characteristic set theory for partial difference polynomial systems. Fir...
AbstractThis paper provides a general view of differential-algebraic decision methods and their appl...
The notion of characteristic sets, which are a special kind of triangular sets, is introduced by J. ...
We propose an algorithm for transforming a characteristic decomposition of a radical differential id...
AbstractWe propose an algorithm for transforming a characteristic decomposition of a radical differe...
Abstract. We give upper bounds for the order of the elements in a charac-teristic set of a regular d...
AbstractThis paper presents some applications of the theory of weakly nondegenerate conditions obtai...
. We present an effective version of Ritt's algorithm. We apply material of (Boulier et al. 199...
AbstractThe concepts of Gröbner cone, Gröbner fan, and universal Gröbner basis are generalized to th...
In the existing literature, characteristic sets in constructive commutative algebra are defined in t...