|
 ABSTRACT
Motivated by the computation of intersection loci in Computer Aided Geometric Design (CAGD), we introduce and study the elimination problem for systems of three bivariate polynomial equations with separated variables. Such systems are simple sparse bivariate ones but resemble to univariate systems of two equations both geometrically and algebraically. Interesting structures for generalized Sylvester and bezoutian matrices can be explicited. Then one can take advantage of these structures to represent the objects and speed up the computations. A corresponding notion of subresultant is presented and related to a Gröbner basis of the polynomial system.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
S. Barnett, A note on the Bézoutian matrix, SIAM J. Appl. Math., 22 (1972), pp. 84--86.
|
| |
2
|
|
| |
3
|
L. Busé and C. D'Andrea, On the irreducibility of multivariate subresultants, C. R. Math. Acad. Sci. Paris, 338 (2004), pp. 287--290.
|
| |
4
|
L. Busé, M. Elkadi, and A. Galligo, Intersection and self-intersection of surfaces by means of bezoutian matrices,, Submited, (2006).
|
| |
5
|
|
| |
6
|
L. Busé, M. Elkadi, and B. Mourrain, Resultant over the residual of a complete intersection, J. Pure Appl. Algebra, 164 (2001), pp. 35--57. Effective methods in algebraic geometry (Bath, 2000).
|
| |
7
|
M. Chardin, Multivariate subresultants, J. Pure Appl. Algebra, 101 (1995), pp. 129--138.
|
| |
8
|
David A. Cox , John Little , Donal O'Shea, Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics), Springer-Verlag New York, Inc., Secaucus, NJ, 2007
|
| |
9
|
C. D'Andrea, T. Krick, and A. Szanto, Multivariate subresultants in roots, J. Algebra, 302 (2006), pp. 16--36.
|
| |
10
|
M. Elkadi and A. Galligo, Intersection problem, bivariate resultant and bernstein-bezoutian matrix, in Algebraic Geometry and Geometric Modelling, Barcelona, 2006.
|
| |
11
|
I. Z. Emiris, Toric resultants and applications to geometric modelling, in Solving polynomial equations, vol. 14 of Algorithms Comput. Math., Springer, Berlin, 2005, pp. 269--300.
|
| |
12
|
I. M. Gel 'fand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhääuser Boston Inc., Boston, MA, 1994.
|
| |
13
|
L. González-Vega, A subresultant theory for multivariate polynomials, Extracta Math., 5 (1990), pp. 150--152.
|
| |
14
|
, Une théorie des sous-résultants pour les polynômes en plusieurs variables, C. R. Acad. Sci. Paris Sér. I Math., 313 (1991), pp. 905--908.
|
| |
15
|
J.-P. Jouanolou, Le formalisme du résultant, Adv. Math., 90 (1991), pp. 117--263.
|
| |
16
|
T. Kailath and A. H. Sayed, Fast algorithms for generalized displacement structures, in Recent advances in mathematical theory of systems, control, networks and signal processing, II (Kobe, 1991), Mita, Tokyo, 1992, pp. 27--32.
|
| |
17
|
M. S. Livšic, N. Kravitsky, A. S. Markus, and V. Vinnikov, Theory of commuting nonselfadjoint operators, vol. 332 of Mathematics and its Applications, Kluwer Academic Publishers Group, Dordrecht, 1995.
|
| |
18
|
|
| |
19
|
I. R. Shafarevich, Basic algebraic geometry. 1, Springer-Verlag, Berlin, second ed., 1994. Varieties in projective space, Translated from the 1988 Russian edition and with notes by Miles Reid.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
J.2