Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9652880 | Journal of Symbolic Computation | 2005 | 19 Pages |
Abstract
In this paper, we present different results related to bezoutian and residue theory. We consider, in particular, the problem of computing the structure of the quotient ring by an affine complete intersection, and an algorithm to obtain it, as conjectured in [Cardinal, J.-P., 1993. Dualité et algorithmes itératifs pour la résolution de systèmes polynomiaux. Ph.D. Thesis, Univ. de Rennes]. We analyze it in detail and prove the validity of the conjecture, for a modification of the initial method. Direct applications of the results in effective algebraic geometry are given.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
B. Mourrain,