International audienceWe 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
We prove several basic properties for difference ascending chains includ-ing a necessary and suffici...
We present two algorithms to compute a regular differential system for some ranking, given an equiva...
In this paper, an algorithm for index reduction of differential algebraic equations (DAE) is propose...
AbstractWe describe an algorithm for converting a characteristic set of a prime differential ideal f...
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...
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...
Abstract. We give upper bounds for the order of the elements in a charac-teristic set of a regular d...
In this paper, we present a characteristic set method for mixed differential and difference poly-nom...
Colloque avec actes et comité de lecture. internationale.International audienceWe generalize Wu-Ritt...
AbstractThis paper provides a general view of differential-algebraic decision methods and their appl...
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...
We present two algorithms to compute a regular differential system for some ranking, given an equiva...
In this paper, an algorithm for index reduction of differential algebraic equations (DAE) is propose...
AbstractWe describe an algorithm for converting a characteristic set of a prime differential ideal f...
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...
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...
Abstract. We give upper bounds for the order of the elements in a charac-teristic set of a regular d...
In this paper, we present a characteristic set method for mixed differential and difference poly-nom...
Colloque avec actes et comité de lecture. internationale.International audienceWe generalize Wu-Ritt...
AbstractThis paper provides a general view of differential-algebraic decision methods and their appl...
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...
We present two algorithms to compute a regular differential system for some ranking, given an equiva...
In this paper, an algorithm for index reduction of differential algebraic equations (DAE) is propose...
DOI
Add to ORKG