AbstractWe describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different languages and has been applied within various software and projects. It permitted to solve formerly unsolved problems
Colloque avec actes et comité de lecture. internationale.International audienceWe generalize Wu-Ritt...
AbstractWe prove several basic properties for difference ascending chains, including a necessary and...
Abstract. We prove several basic properties for difference ascending chains including a unique repre...
International audienceWe describe an algorithm for converting a characteristic set of a prime differ...
submitted to the Journal of Symbolic ComputationWe describe an algorithm for converting a characteri...
International audienceWe propose a new algorithm for converting a characteristic set of a prime diff...
AbstractWe propose an algorithm for transforming a characteristic decomposition of a radical differe...
We propose an algorithm for transforming a characteristic decomposition of a radical differential id...
Abstract. We give upper bounds for the order of the elements in a charac-teristic set of a regular d...
AbstractWe call a differential ideal universally characterizable, if it is characterizable w.r.t. an...
AbstractThe concepts of Gröbner cone, Gröbner fan, and universal Gröbner basis are generalized to th...
In this paper, we present a characteristic set method for mixed differential and difference poly-nom...
AbstractThis paper provides a general view of differential-algebraic decision methods and their appl...
We prove several basic properties for difference ascending chains includ-ing a necessary and suffici...
AbstractIn this paper, we present a characteristic set method for mixed differential and difference ...
Colloque avec actes et comité de lecture. internationale.International audienceWe generalize Wu-Ritt...
AbstractWe prove several basic properties for difference ascending chains, including a necessary and...
Abstract. We prove several basic properties for difference ascending chains including a unique repre...
International audienceWe describe an algorithm for converting a characteristic set of a prime differ...
submitted to the Journal of Symbolic ComputationWe describe an algorithm for converting a characteri...
International audienceWe propose a new algorithm for converting a characteristic set of a prime diff...
AbstractWe propose an algorithm for transforming a characteristic decomposition of a radical differe...
We propose an algorithm for transforming a characteristic decomposition of a radical differential id...
Abstract. We give upper bounds for the order of the elements in a charac-teristic set of a regular d...
AbstractWe call a differential ideal universally characterizable, if it is characterizable w.r.t. an...
AbstractThe concepts of Gröbner cone, Gröbner fan, and universal Gröbner basis are generalized to th...
In this paper, we present a characteristic set method for mixed differential and difference poly-nom...
AbstractThis paper provides a general view of differential-algebraic decision methods and their appl...
We prove several basic properties for difference ascending chains includ-ing a necessary and suffici...
AbstractIn this paper, we present a characteristic set method for mixed differential and difference ...
Colloque avec actes et comité de lecture. internationale.International audienceWe generalize Wu-Ritt...
AbstractWe prove several basic properties for difference ascending chains, including a necessary and...
Abstract. We prove several basic properties for difference ascending chains including a unique repre...
DOI
Add to ORKG