Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10325723 | Journal of Symbolic Computation | 2011 | 20 Pages |
Abstract
Let K be an ordinary differential field with derivation â. Let P be a system of n linear differential polynomial parametric equations in nâ1 differential parameters, with implicit ideal ID. Given a nonzero linear differential polynomial A in ID, we give necessary and sufficient conditions on A for P to be nâ1 dimensional. We prove the existence of a linear perturbation PÏ of P, so that the linear complete differential resultant âCResÏ associated to PÏ is nonzero. A nonzero linear differential polynomial in ID is obtained, from the lowest degree term of âCResÏ, and used to provide an implicitization for P.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Sonia L. Rueda,