How to compute the Chow form of an unmixed polynomial ideal in single exponential time
On sait que la théorie classique de l'élimination fournit un moyen de décrire effectivement les sous-ensembles algébriques d'un espace projectif via leurs formes de Chow (éliminante ou résultantes pour les ensembles non réduits), aux composantes immergées près. On peut aussi retrouver des équations, calculer le degré des variétés projectives, bien qu'en pratique ces calculs saturent rapidement les machines. L'A. décrit brièvement au {\S} 3 de ce texte un algorithme théorique permettant de trouver la forme éliminante d'un idéal pur, donné par un système générateur de m-formes de degrés \(\leq d\), en temps séquentiel \(\leq m^ s.d^{O(n^ 3)}\) et \(parall\grave ele\quad \leq O(n^ 6.(\log (md))^ 2).\) Il montre également que pour définir la forme éliminante de I il suffit de diviser par la puissance r.deg(I)-ìeme de l'idéal maximal irrelevant. Les {\S}{\S} 1, 2 et 4 rappelent les principes de la théorie de l'élimination et diverses remarques selon une présentation de \textit{Y. V. Nesterenko}. On trouvera cela également dans Publ. Math., Inst. Hautes Étudés Sci. 64, 5-52 (1986; Zbl 0615.10044), par le rapporteur. Enfin F. Amoroso a montré que le lieu des composantes immergées de l'idéal \(I^*\) associé (au {\S} 4.1) à un idéal premier I coincide avec le lieu singulier de la variété des zéros de I.
- Reflections on elimination theory
- Théorème des zéros effectif et élimination
- Remark and errata to my paper `` On the theory of modules and ideals.
- Zur Theorie der Polynomideale und Resultanten. (Bearbeitet von Emmy Noether.)
- scientific article; zbMATH DE number 204997
- On Buchberger's method of solving systems of algebraic equations
- Minimally generating ideals of points in polynomial time using linear algebra
- Theorie der Polynomideale und Eliminationstheorie.
- scientific article; zbMATH DE number 575960
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- Bounds for the degrees in the Nullstellensatz
- Definability and fast quantifier elimination in algebraically closed fields
- Equations for the projective closure and effective Nullstellensatz
- ESTIMATES FOR THE CHARACTERISTIC FUNCTION OF A PRIME IDEAL
- ESTIMATES FOR THE ORDERS OF ZEROS OF FUNCTIONS OF A CERTAIN CLASS AND APPLICATIONS IN THE THEORY OF TRANSCENDENTAL NUMBERS
- scientific article; zbMATH DE number 4210304 (Why is no real title available?)
- scientific article; zbMATH DE number 4057654 (Why is no real title available?)
- scientific article; zbMATH DE number 4103190 (Why is no real title available?)
- scientific article; zbMATH DE number 3687501 (Why is no real title available?)
- Local Diophantine Nullstellen Inequalities
- ON ALGEBRAIC INDEPENDENCE OF ALGEBRAIC POWERS OF ALGEBRAIC NUMBERS
- An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs
- Finding sparse systems of parameters
- Sparse systems of parameters for determinantal varieties
- Invariant aspects of elimination
- Elimination for generic sparse polynomial systems
- scientific article; zbMATH DE number 4103190 (Why is no real title available?)
- On the complexity of Chow and Hurwitz forms
- Computation of differential Chow forms for ordinary prime differential ideals
This page was built for publication: How to compute the Chow form of an unmixed polynomial ideal in single exponential time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809149)
