Computing differential characteristic sets by change of ordering

Authors:
François Boulier;François Lemaire;Marc Moreno Maza
Affiliations:
Université Lille 1, LIFL, 59655 Villeneuve dAscq, France;Université Lille 1, LIFL, 59655 Villeneuve dAscq, France;University of Western Ontario, ORCCA, London, Canada
Venue:
Journal of Symbolic Computation
Year:
2010

Citing 14
Cited 4

A new method for solving algebraic systems of positive dimension

Discrete Applied Mathematics - Special volume on applied algebra, algebraic algorithms, and error-correcting codes
A generalized Euclidean algorithm for computing triangular representations of algebraic varieties

Journal of Symbolic Computation
Representation for the radical of a finitely generated differential ideal

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Modern computer algebra

Modern computer algebra
On the theories of triangular sets

Journal of Symbolic Computation - Special issue on polynomial elimination—algorithms and applications
The differential ideal [P]: M∞

Journal of Symbolic Computation - Special issue on differential algebra and differential equations
Factorization-free decomposition algorithms in differential algebra

Journal of Symbolic Computation - Special issue on symbolic computation in algebra, analysis and geometry
Unmixed-dimensional decomposition of a finitely generated perfect differential ideal

Journal of Symbolic Computation
Polynomial Gcd Computations over Towers of Algebraic Extensions

AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Computation of canonical forms for ternary cubics

Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Elimination Practice: Software Tools and Applications

Elimination Practice: Software Tools and Applications
Change of order for regular chains in positive dimension

Theoretical Computer Science
Algebraic transformation of differential characteristic decompositions from one ranking to another

Journal of Symbolic Computation
Computing representations for radicals of finitely generated differential ideals

Applicable Algebra in Engineering, Communication and Computing - Special Issue: Jacobi's Legacy

Differential Algebra and System Modeling in Cellular Biology

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Sparse differential resultant

Proceedings of the 36th international symposium on Symbolic and algebraic computation
A new algorithmic scheme for computing characteristic sets

Journal of Symbolic Computation
On the integration of differential fractions

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We 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.