1994 | OriginalPaper | Buchkapitel
An Improved Projection for Cylindrical Algebraic Decomposition
verfasst von : D. Lazard
Erschienen in: Algebraic Geometry and its Applications
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
It is proved that the projection needed by the CAD algorithm needs only to compute the resultants, the discriminants, the leading coefficients and the constant coefficients of the input polynomials, provided they have be made square—free and relatively prime by GCD computations. This improves [7] first improvement by removing any dimension condition and dropping out from the projection set all coefficients of the input polynomials, other than the leading and the constant ones.