Add to ORKGInternational audienceWe present a probabilistic seminumerical algorithm that computes the differential Hilbert function associated to a differential rational mapping. This algorithm explicitly determines the set of variables and derivatives which can be arbitrarily fixed in order to locally invert the differential mapping under consideration. The arithmetic complexity of this algorithm is polynomial in the input size
AbstractWe present an algorithm along with implementation details and timing data for computing the ...
We present an algorithm to decompose nonlinear differential polynomials in one variable and with rat...
The author version (this one) is one page longer than the editor version. This difference is only du...
International audienceWe present a probabilistic seminumerical algorithm that computes the different...
We exhibit probabilistic algorithms which compute the differentiation index, the differential Hilber...
AbstractWe exhibit probabilistic algorithms which compute the differentiation index, the differentia...
What is a solution of a system of polynomial differential equations ? This paper provides an origina...
International audienceWe present and analyze two algorithms for computing the Hilbert class polynomi...
The work presented here is based on differential algebra and on the methods of symbolic computation ...
AbstractWe prove upper bounds on the order and degree of the polynomials involved in a resolvent rep...
International audienceThe extended Lüroth's Theorem says that if the transcendence degree of $\KK(\m...
AbstractWe present a hybrid symbolic-numeric algorithm for certifying a polynomial or rational funct...
International audienceDiscrete differential equations of order 1 are equations relating polynomially...
International audienceWe propose a new algorithm for converting a characteristic set of a prime diff...
AbstractWe present an algorithm along with implementation details and timing data for computing the ...
We present an algorithm to decompose nonlinear differential polynomials in one variable and with rat...
The author version (this one) is one page longer than the editor version. This difference is only du...
International audienceWe present a probabilistic seminumerical algorithm that computes the different...
We exhibit probabilistic algorithms which compute the differentiation index, the differential Hilber...
AbstractWe exhibit probabilistic algorithms which compute the differentiation index, the differentia...
What is a solution of a system of polynomial differential equations ? This paper provides an origina...
International audienceWe present and analyze two algorithms for computing the Hilbert class polynomi...
The work presented here is based on differential algebra and on the methods of symbolic computation ...
AbstractWe prove upper bounds on the order and degree of the polynomials involved in a resolvent rep...
International audienceThe extended Lüroth's Theorem says that if the transcendence degree of $\KK(\m...
AbstractWe present a hybrid symbolic-numeric algorithm for certifying a polynomial or rational funct...
International audienceDiscrete differential equations of order 1 are equations relating polynomially...
International audienceWe propose a new algorithm for converting a characteristic set of a prime diff...
AbstractWe present an algorithm along with implementation details and timing data for computing the ...
We present an algorithm to decompose nonlinear differential polynomials in one variable and with rat...
The author version (this one) is one page longer than the editor version. This difference is only du...