Implicitization of rational hypersurfaces via linear syzygies: A practical overview
We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the polynomials defining the parametrization, following and expanding our joint article with M. Dohm. These algebraic techniques, based on the th...
Uloženo v:
| Vydáno v: | Journal of symbolic computation Ročník 74; s. 493 - 512 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Elsevier Ltd
01.05.2016
|
| Témata: | |
| ISSN: | 0747-7171, 1095-855X |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the polynomials defining the parametrization, following and expanding our joint article with M. Dohm. These algebraic techniques, based on the theory of approximation complexes due to J. Herzog, A. Simis and W. Vasconcelos, were introduced for the implicitization problem by J.-P. Jouanolou, L. Busé, and M. Chardin. Their work was inspired by the practical method of moving curves, proposed by T. Sederberg and F. Chen, translated into the language of syzygies by D. Cox. Our aim is to express the theoretical results and resulting algorithms into very concrete terms, avoiding the use of the advanced homological commutative algebraic tools which are needed for their proofs. |
|---|---|
| AbstractList | We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the polynomials defining the parametrization, following and expanding our joint article with M. Dohm. These algebraic techniques, based on the theory of approximation complexes due to J. Herzog, A. Simis and W. Vasconcelos, were introduced for the implicitization problem by J.-P. Jouanolou, L. Busé, and M. Chardin. Their work was inspired by the practical method of moving curves, proposed by T. Sederberg and F. Chen, translated into the language of syzygies by D. Cox. Our aim is to express the theoretical results and resulting algorithms into very concrete terms, avoiding the use of the advanced homological commutative algebraic tools which are needed for their proofs. |
| Author | Dickenstein, Alicia Botbol, Nicolás |
| Author_xml | – sequence: 1 givenname: Nicolás surname: Botbol fullname: Botbol, Nicolás email: nbotbol@dm.uba.ar – sequence: 2 givenname: Alicia surname: Dickenstein fullname: Dickenstein, Alicia email: alidick@dm.uba.ar |
| BookMark | eNp9kMtOwzAQRS1UJNrCB7DzDySMYyeuYVVVPCpVYgFI7CwzccBRmlR2KEq_HrdlxaKrmcWc0b1nQkZt11pCrhmkDFhxU6d1wDQDlqegUgB2RsYMVJ7M8vx9RMYghUwkk-yCTEKoAUAJno_Jy3K9aRy63u1M77qWdhX1h8009GvYWB--fWXQBrp1hjautcbTMOyGT2fDLZ3TjTfYO4zn3db6rbM_l-S8Mk2wV39zSt4e7l8XT8nq-XG5mK8S5AL6JDdcMm5Ehh8ApTACCshMMTOqklLJGBxLhqWYgUIGyAurIJNCgOWKcSz5lMjjX_RdCN5WOvY4ZO-9cY1moPdudK2jG713o0Hp6CaS7B-58W5t_HCSuTsyNlaKNb0O6GyLtnTeYq_Lzp2gfwEocX9_ |
| CitedBy_id | crossref_primary_10_1007_s40304_022_00300_y crossref_primary_10_1142_S0219498817501894 crossref_primary_10_1016_j_jsc_2016_11_002 crossref_primary_10_1007_s13366_015_0268_0 crossref_primary_10_1016_j_cam_2017_07_023 crossref_primary_10_1016_j_jalgebra_2022_12_036 crossref_primary_10_1016_j_cagd_2019_03_001 crossref_primary_10_1016_j_cagd_2021_102051 |
| Cites_doi | 10.1006/jsco.2001.0443 10.1142/S0219498803000489 10.1016/j.jsc.2005.01.003 10.1112/plms/s2-7.1.49 10.1016/j.jalgebra.2009.03.006 10.1016/j.cagd.2009.08.001 10.1016/0021-8693(82)90034-5 10.1016/j.jpaa.2010.07.010 10.1016/j.jalgebra.2014.07.028 10.1007/BF01208503 10.1016/S0167-8396(98)00014-4 10.1016/j.jalgebra.2012.01.030 10.1016/S0021-8693(03)00181-9 10.1016/j.jsc.2009.11.001 10.1016/j.cad.2013.08.014 10.1016/j.jsc.2011.12.029 10.1016/0021-8693(83)90173-4 10.1007/BF01564528 10.1090/S0002-9939-09-09550-1 10.1016/0167-8396(92)90009-E 10.1016/j.jsc.2004.04.005 10.1016/j.jalgebra.2005.05.028 10.1016/j.jalgebra.2010.07.006 10.1109/9.751344 10.1016/j.jsc.2004.09.007 10.1016/j.jalgebra.2011.09.019 10.1016/j.cagd.2009.03.005 10.1016/j.cagd.2012.06.006 |
| ContentType | Journal Article |
| Copyright | 2015 Elsevier Ltd |
| Copyright_xml | – notice: 2015 Elsevier Ltd |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jsc.2015.09.001 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1095-855X |
| EndPage | 512 |
| ExternalDocumentID | 10_1016_j_jsc_2015_09_001 S0747717115000917 |
| GrantInformation_xml | – fundername: ANPCyT grantid: PICT 2013-1110 funderid: http://dx.doi.org/10.13039/501100003074 – fundername: UBACYT grantid: 20020100100242 – fundername: CONICET funderid: http://dx.doi.org/10.13039/501100002923 – fundername: MathAmSud project grantid: PIP 2011-0100-580; 15MATH03-SYRAM |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 29L 4.4 457 4G. 5GY 5VS 6I. 6OB 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABEFU ABFNM ABJNI ABMAC ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG COF CS3 DM4 DU5 EBS EFBJH EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG5 M25 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSW SSZ T5K TN5 UPT WUQ XPP YQT ZMT ZU3 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c340t-5a3713a42cb00d4a40602a68a9f7797855cd1cd4809c10c36e9027440e3913cd3 |
| ISICitedReferencesCount | 10 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000366794100024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0747-7171 |
| IngestDate | Sat Nov 29 07:14:26 EST 2025 Tue Nov 18 21:08:32 EST 2025 Fri Feb 23 02:31:32 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Implicitization Sparse polynomial Syzygy Matrix representation Rational surface |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c340t-5a3713a42cb00d4a40602a68a9f7797855cd1cd4809c10c36e9027440e3913cd3 |
| OpenAccessLink | http://hdl.handle.net/11336/55540 |
| PageCount | 20 |
| ParticipantIDs | crossref_citationtrail_10_1016_j_jsc_2015_09_001 crossref_primary_10_1016_j_jsc_2015_09_001 elsevier_sciencedirect_doi_10_1016_j_jsc_2015_09_001 |
| PublicationCentury | 2000 |
| PublicationDate | May-June 2016 2016-05-00 |
| PublicationDateYYYYMMDD | 2016-05-01 |
| PublicationDate_xml | – month: 05 year: 2016 text: May-June 2016 |
| PublicationDecade | 2010 |
| PublicationTitle | Journal of symbolic computation |
| PublicationYear | 2016 |
| Publisher | Elsevier Ltd |
| Publisher_xml | – name: Elsevier Ltd |
| References | Aruliah, Corless, Gonzalez-Vega, Shakoori (br0010) 2007 Cox (br0270) 2003; vol. 334 Botbol, Dickenstein, Dohm (br0120) 2009; 26 Chen, Cox, Liu (br0210) 2005; 39 Cox (br0280) 2003; vol. 334 Gel'fand, Kapranov, Zelevinsky (br0390) 1994 Botbol, Chardin (br0050) 2015 Ehrhart (br0360) 1967; 227 Botbol, Dohm (br0100) 2010 Busé, D'Andrea (br0110) 2012; 357 Botbol, Busé, Chardin (br0030) 2014; 420 Manocha, Canny (br0510) 1991 Busé, Chardin, Simis (br0080) 2010; 324 Salmon (br0530) 1958 Busé, Dohm (br0090) 2007 Wang, Chen (br0580) 2012; 47 D'Andrea (br0310) 2001; 31 Decker, Greuel, Pfister, Schönemann (br0320) 2012 . Chionh, Goldman (br0220) June 1992; 9 Herzog, Simis, Vasconcelos (br0450) 1983; 82 Dietz (br0330) 1998 Botbol (br0170) 2011; 348 Zheng, Sederberg, Chionh, Cox (br0590) 2003; vol. 334 Cox (br0260) 2001; vol. 286 Herzog, Simis, Vasconcelos (br0460) 1983; vol. 84 Busé, Cox, D'Andrea (br0060) 2003; 2 Henrion, Sebek (br0430) 1999; 44 Busé, Laurent, 2006. Elimination theory in codimension one and applications. INRIA research report 5918, page 47. Notes of lectures given at the CIMPA-UNESCO-IRAN school in Zanjan, Iran, July 9–22 2005. Hilbert (br0410) 1890; 36 Fulton (br0380) 1993; vol. 131 Cox, Little, Schenck (br0250) 2011 Thang, Busé, Mourrain (br0570) 2009 Khetan, D'Andrea (br0500) 2006; 303 (br0290) 2011; vol. 555 Busé, Chardin (br0040) 2005; 40 Botbol (br0160) 2011; 215 Busé, Jouanolou (br0130) 2003; 265 Busé (br0190) 2014; 46 Botbol (br0140) 2009; 322 Busé, Chardin, Jouanolou (br0070) 2009; 137 Meyer (br0520) 1887; 30 Steiner (br0550) 1832 Sederberg, Chen (br0540) 1995; 303 Cox, Kustin, Polini, Ulrich (br0230) 2013; 222 Grayson, Daniel R., Stillman, Michael E. Macaulay 2, a software system for research in algebraic geometry. Dixon (br0340) 1908; S2-7 Jia, Wang, Goldman (br0490) 2010; 45 Herzog, Simis, Vasconcelos (br0440) 1982; 74 Chardin (br0200) 2006 Botbol (br0150) 2010 Cox, Sederberg, Chen (br0300) 1998; 15 Sturmfels, Yu (br0560) 1994 Cox, Little, O'Shea (br0240) 1998; vol. 185 Adkins, Hoffman, Wang (br0020) 2005; 39 Hoffman, Wang, Jia, Goldman (br0470) 2010; 3 Diaz-Toca, Fioravanti, Gonzalez-Vega, Shakoori (br0350) 2013; 30 Jia, Goldman (br0480) 2009; 26 Eisenbud (br0370) 2004; 1 Hoffmann (br0420) 1989 Diaz-Toca (10.1016/j.jsc.2015.09.001_br0350) 2013; 30 Botbol (10.1016/j.jsc.2015.09.001_br0030) 2014; 420 Botbol (10.1016/j.jsc.2015.09.001_br0120) 2009; 26 Busé (10.1016/j.jsc.2015.09.001_br0190) 2014; 46 Botbol (10.1016/j.jsc.2015.09.001_br0170) 2011; 348 Salmon (10.1016/j.jsc.2015.09.001_br0530) 1958 Henrion (10.1016/j.jsc.2015.09.001_br0430) 1999; 44 Hilbert (10.1016/j.jsc.2015.09.001_br0410) 1890; 36 Jia (10.1016/j.jsc.2015.09.001_br0480) 2009; 26 Decker (10.1016/j.jsc.2015.09.001_br0320) Herzog (10.1016/j.jsc.2015.09.001_br0440) 1982; 74 Steiner (10.1016/j.jsc.2015.09.001_br0550) 1832 Chardin (10.1016/j.jsc.2015.09.001_br0200) 2006 10.1016/j.jsc.2015.09.001_br0400 Busé (10.1016/j.jsc.2015.09.001_br0060) 2003; 2 Busé (10.1016/j.jsc.2015.09.001_br0110) 2012; 357 Busé (10.1016/j.jsc.2015.09.001_br0070) 2009; 137 Hoffmann (10.1016/j.jsc.2015.09.001_br0420) 1989 Cox (10.1016/j.jsc.2015.09.001_br0230) 2013; 222 Cox (10.1016/j.jsc.2015.09.001_br0250) 2011 Cox (10.1016/j.jsc.2015.09.001_br0300) 1998; 15 Sturmfels (10.1016/j.jsc.2015.09.001_br0560) 1994 Thang (10.1016/j.jsc.2015.09.001_br0570) 2009 Adkins (10.1016/j.jsc.2015.09.001_br0020) 2005; 39 Busé (10.1016/j.jsc.2015.09.001_br0090) 2007 Herzog (10.1016/j.jsc.2015.09.001_br0460) 1983; vol. 84 Gel'fand (10.1016/j.jsc.2015.09.001_br0390) 1994 Ehrhart (10.1016/j.jsc.2015.09.001_br0360) 1967; 227 Dixon (10.1016/j.jsc.2015.09.001_br0340) 1908; S2-7 Manocha (10.1016/j.jsc.2015.09.001_br0510) 1991 Wang (10.1016/j.jsc.2015.09.001_br0580) 2012; 47 Botbol (10.1016/j.jsc.2015.09.001_br0140) 2009; 322 Sederberg (10.1016/j.jsc.2015.09.001_br0540) 1995; 303 Busé (10.1016/j.jsc.2015.09.001_br0130) 2003; 265 D'Andrea (10.1016/j.jsc.2015.09.001_br0310) 2001; 31 Cox (10.1016/j.jsc.2015.09.001_br0260) 2001; vol. 286 Botbol (10.1016/j.jsc.2015.09.001_br0150) (10.1016/j.jsc.2015.09.001_br0290) 2011; vol. 555 Eisenbud (10.1016/j.jsc.2015.09.001_br0370) 2004; 1 Hoffman (10.1016/j.jsc.2015.09.001_br0470) 2010; 3 10.1016/j.jsc.2015.09.001_br0180 Botbol (10.1016/j.jsc.2015.09.001_br0050) 2015 Herzog (10.1016/j.jsc.2015.09.001_br0450) 1983; 82 Cox (10.1016/j.jsc.2015.09.001_br0280) 2003; vol. 334 Busé (10.1016/j.jsc.2015.09.001_br0040) 2005; 40 Fulton (10.1016/j.jsc.2015.09.001_br0380) 1993; vol. 131 Dietz (10.1016/j.jsc.2015.09.001_br0330) 1998 Botbol (10.1016/j.jsc.2015.09.001_br0160) 2011; 215 Busé (10.1016/j.jsc.2015.09.001_br0080) 2010; 324 Aruliah (10.1016/j.jsc.2015.09.001_br0010) 2007 Chionh (10.1016/j.jsc.2015.09.001_br0220) 1992; 9 Meyer (10.1016/j.jsc.2015.09.001_br0520) 1887; 30 Cox (10.1016/j.jsc.2015.09.001_br0240) 1998; vol. 185 Khetan (10.1016/j.jsc.2015.09.001_br0500) 2006; 303 Botbol (10.1016/j.jsc.2015.09.001_br0100) Cox (10.1016/j.jsc.2015.09.001_br0270) 2003; vol. 334 Chen (10.1016/j.jsc.2015.09.001_br0210) 2005; 39 Jia (10.1016/j.jsc.2015.09.001_br0490) 2010; 45 Zheng (10.1016/j.jsc.2015.09.001_br0590) 2003; vol. 334 |
| References_xml | – volume: 357 start-page: 322 year: 2012 end-page: 346 ident: br0110 article-title: Singular factors of rational plane curves publication-title: J. Algebra – volume: 9 start-page: 93 year: June 1992 end-page: 108 ident: br0220 article-title: Degree, multiplicity, and inversion formulas for rational surfaces using u-resultants publication-title: Comput. Aided Geom. Des. – volume: 30 start-page: 116 year: 2013 end-page: 139 ident: br0350 article-title: Using implicit equations of parametric curves and surfaces without computing them: polynomial algebra by values publication-title: Comput. Aided Geom. Des. – volume: vol. 131 year: 1993 ident: br0380 article-title: Introduction to Toric Varieties publication-title: Annals of Mathematics Studies – volume: 44 start-page: 497 year: 1999 end-page: 508 ident: br0430 article-title: Reliable numerical methods for polynomial matrix triangularization publication-title: IEEE Trans. Autom. Control – volume: vol. 84 start-page: 79 year: 1983 end-page: 169 ident: br0460 article-title: Koszul homology and blowing-up rings publication-title: Commutative Algebra – volume: 324 start-page: 1314 year: 2010 end-page: 1333 ident: br0080 article-title: Elimination and nonlinear equations of Rees algebras publication-title: J. Algebra – volume: 45 start-page: 414 year: 2010 end-page: 433 ident: br0490 article-title: Set-theoretic generators of rational space curves publication-title: J. Symb. Comput. – volume: 15 start-page: 803 year: 1998 end-page: 827 ident: br0300 article-title: The moving line ideal basis of planar rational curves publication-title: Comput. Aided Geom. Des. – volume: 82 start-page: 53 year: 1983 end-page: 83 ident: br0450 article-title: Approximation complexes of blowing-up rings. II publication-title: J. Algebra – volume: 222 year: 2013 ident: br0230 article-title: A study of singularities on rational curves via syzygies publication-title: Mem. Am. Math. Soc. – volume: 30 start-page: 30 year: 1887 end-page: 74 ident: br0520 article-title: Zur Theorie der Reducibeln Ganzen Functionen von publication-title: Math. Ann. – year: 2015 ident: br0050 article-title: Castelnuovo–Mumford regularity with respect to multigraded ideals publication-title: J. Algebra – volume: 420 start-page: 486 year: 2014 end-page: 508 ident: br0030 article-title: Fitting ideals and multiple-points of surface parameterizations publication-title: J. Algebra – start-page: 71 year: 2009 end-page: 78 ident: br0570 article-title: Curve/surface intersection problem by means of matrix representations publication-title: Proceedings of the 2009 Conference on Symbolic Numeric Computation – year: 2010 ident: br0100 article-title: A package for computing implicit equations of parametrizations from toric surfaces – volume: vol. 555 year: 2011 ident: br0290 publication-title: Commutative Algebra and Its Connections to Geometry – volume: 47 start-page: 733 year: 2012 end-page: 750 ident: br0580 article-title: Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces publication-title: J. Symb. Comput. – volume: S2-7 start-page: 49 year: 1908 ident: br0340 article-title: The eliminant of three quantics in two independent variables publication-title: Proc. Lond. Math. Soc. – reference: Grayson, Daniel R., Stillman, Michael E. Macaulay 2, a software system for research in algebraic geometry. – volume: vol. 286 start-page: 1 year: 2001 end-page: 20 ident: br0260 article-title: Equations of parametric curves and surfaces via syzygies publication-title: Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering – volume: 74 start-page: 466 year: 1982 end-page: 493 ident: br0440 article-title: Approximation complexes of blowing-up rings publication-title: J. Algebra – volume: 36 start-page: 473 year: 1890 end-page: 534 ident: br0410 article-title: Ueber die Theorie der Algebraischen Formen publication-title: Math. Ann. – volume: 1 start-page: 1716 year: 2004 end-page: 1718 ident: br0370 article-title: Instant elimination, powers of ideals and an Oberwolfach example publication-title: Oberwolfach Rep. – start-page: 55 year: 2007 end-page: 64 ident: br0010 article-title: Geometric applications of the Bezout matrix in the Lagrange basis publication-title: Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation – volume: 303 start-page: 543 year: 2006 end-page: 565 ident: br0500 article-title: Implicitization of rational surfaces using toric varieties publication-title: J. Algebra – start-page: 209 year: 1991 end-page: 219 ident: br0510 article-title: A new approach for surface intersection publication-title: Proceedings of the First ACM Symposium on Solid Modeling Foundations and CAD/CAM Applications – volume: 26 start-page: 970 year: 2009 end-page: 988 ident: br0480 article-title: -bases and singularities of rational planar curves publication-title: Comput. Aided Geom. Des. – volume: vol. 185 year: 1998 ident: br0240 article-title: Using Algebraic Geometry publication-title: Graduate Texts in Mathematics – volume: 46 start-page: 14 year: 2014 end-page: 24 ident: br0190 article-title: Implicit matrix representations of rational Bézier curves and surfaces publication-title: Comput. Aided Des. – start-page: 69 year: 2007 end-page: 76 ident: br0090 article-title: Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies publication-title: ISSAC 2007 – volume: vol. 334 start-page: 203 year: 2003 end-page: 223 ident: br0280 article-title: What is a toric variety? publication-title: Topics in Algebraic Geometry and Geometric Modeling – year: 1958 ident: br0530 article-title: A treatise on the analytic geometry of three dimensions – volume: 31 start-page: 585 year: 2001 end-page: 602 ident: br0310 article-title: Resultants and moving surfaces publication-title: J. Symb. Comput. – year: 1998 ident: br0330 article-title: Creation of fair b-spline surface fillets publication-title: Creating Fair and Shape Preserving Curves and Surfaces – volume: 303 start-page: 301 year: 1995 end-page: 308 ident: br0540 article-title: Implicitization using moving curves and surfaces – start-page: 317 year: 1994 end-page: 324 ident: br0560 article-title: Minimal polynomials and sparse resultants publication-title: Zero-Dimensional Schemes – year: 2010 ident: br0150 article-title: An algorithm for computing implicit equations of bigraded rational surfaces – volume: 215 start-page: 1053 year: 2011 end-page: 1068 ident: br0160 article-title: Compactifications of rational maps, and the implicit equations of their images publication-title: J. Pure Appl. Algebra – volume: 26 start-page: 757 year: 2009 end-page: 771 ident: br0120 article-title: Matrix representations for toric parametrizations publication-title: Comput. Aided Geom. Des. – year: 1832 ident: br0550 article-title: Systematische Entwicklung der Abhangigkeit geometrischer Gestalten von einander – volume: 322 start-page: 3878 year: 2009 end-page: 3895 ident: br0140 article-title: The implicitization problem for publication-title: J. Algebra – volume: 348 start-page: 381 year: 2011 end-page: 401 ident: br0170 article-title: The implicit equation of a multigraded hypersurface publication-title: J. Algebra – volume: 265 start-page: 312 year: 2003 end-page: 357 ident: br0130 article-title: On the closed image of a rational map and the implicitization problem publication-title: J. Algebra – volume: 39 start-page: 689 year: 2005 end-page: 706 ident: br0210 article-title: The publication-title: J. Symb. Comput. – reference: . – volume: 40 start-page: 1150 year: 2005 end-page: 1168 ident: br0040 article-title: Implicitizing rational hypersurfaces using approximation complexes publication-title: J. Symb. Comput. – volume: 3 start-page: 602 year: 2010 end-page: 632 ident: br0470 article-title: Minimal generators for the Rees algebra of rational space curves of type publication-title: Eur. J. Pure Appl. Math. – year: 1989 ident: br0420 article-title: Geometric Solid Modeling: An Introduction – year: 1994 ident: br0390 article-title: Discriminants, Resultants, and Multidimensional Determinants. Mathematics: Theory & Applications – year: 2012 ident: br0320 article-title: 3-1-6 — a computer algebra system for polynomial computations – volume: 2 start-page: 189 year: 2003 end-page: 214 ident: br0060 article-title: Implicitization of surfaces in publication-title: J. Algebra Appl. – start-page: 23 year: 2006 end-page: 35 ident: br0200 article-title: Implicitization using approximation complexes publication-title: Algebraic Geometry and Geometric Modeling – year: 2011 ident: br0250 article-title: Toric Varieties – reference: Busé, Laurent, 2006. Elimination theory in codimension one and applications. INRIA research report 5918, page 47. Notes of lectures given at the CIMPA-UNESCO-IRAN school in Zanjan, Iran, July 9–22 2005. – volume: 137 start-page: 1855 year: 2009 end-page: 1865 ident: br0070 article-title: Torsion of the symmetric algebra and implicitization publication-title: Proc. Am. Math. Soc. – volume: 227 year: 1967 ident: br0360 article-title: Sur un probleme de géométrie diophantienne linéaire ii publication-title: J. Reine Angew. Math. – volume: vol. 334 start-page: 151 year: 2003 end-page: 168 ident: br0590 article-title: Implicitizing rational surfaces with base points using the method of moving surfaces publication-title: Topics in Algebraic Geometry and Geometric Modeling – volume: vol. 334 start-page: 131 year: 2003 end-page: 150 ident: br0270 article-title: Curves, surfaces, and syzygies publication-title: Topics in Algebraic Geometry and Geometric Modeling – volume: 39 start-page: 73 year: 2005 end-page: 101 ident: br0020 article-title: Equations of parametric surfaces with base points via syzygies publication-title: J. Symb. Comput. – volume: 31 start-page: 585 issue: 5 year: 2001 ident: 10.1016/j.jsc.2015.09.001_br0310 article-title: Resultants and moving surfaces publication-title: J. Symb. Comput. doi: 10.1006/jsco.2001.0443 – volume: 2 start-page: 189 issue: 2 year: 2003 ident: 10.1016/j.jsc.2015.09.001_br0060 article-title: Implicitization of surfaces in P3 in the presence of base points publication-title: J. Algebra Appl. doi: 10.1142/S0219498803000489 – volume: 39 start-page: 689 issue: 6 year: 2005 ident: 10.1016/j.jsc.2015.09.001_br0210 article-title: The μ-basis and implicitization of a rational parametric surface publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2005.01.003 – volume: S2-7 start-page: 49 issue: 1 year: 1908 ident: 10.1016/j.jsc.2015.09.001_br0340 article-title: The eliminant of three quantics in two independent variables publication-title: Proc. Lond. Math. Soc. doi: 10.1112/plms/s2-7.1.49 – volume: 3 start-page: 602 issue: 4 year: 2010 ident: 10.1016/j.jsc.2015.09.001_br0470 article-title: Minimal generators for the Rees algebra of rational space curves of type (1,1,d−2) publication-title: Eur. J. Pure Appl. Math. – volume: 322 start-page: 3878 issue: 11 year: 2009 ident: 10.1016/j.jsc.2015.09.001_br0140 article-title: The implicitization problem for ϕ:Pn⇢(P1)n+1 publication-title: J. Algebra doi: 10.1016/j.jalgebra.2009.03.006 – ident: 10.1016/j.jsc.2015.09.001_br0150 – volume: 26 start-page: 970 issue: 9 year: 2009 ident: 10.1016/j.jsc.2015.09.001_br0480 article-title: μ-bases and singularities of rational planar curves publication-title: Comput. Aided Geom. Des. doi: 10.1016/j.cagd.2009.08.001 – volume: vol. 286 start-page: 1 year: 2001 ident: 10.1016/j.jsc.2015.09.001_br0260 article-title: Equations of parametric curves and surfaces via syzygies – volume: 74 start-page: 466 issue: 2 year: 1982 ident: 10.1016/j.jsc.2015.09.001_br0440 article-title: Approximation complexes of blowing-up rings publication-title: J. Algebra doi: 10.1016/0021-8693(82)90034-5 – volume: vol. 84 start-page: 79 year: 1983 ident: 10.1016/j.jsc.2015.09.001_br0460 article-title: Koszul homology and blowing-up rings – start-page: 23 year: 2006 ident: 10.1016/j.jsc.2015.09.001_br0200 article-title: Implicitization using approximation complexes – volume: 227 issue: 25 year: 1967 ident: 10.1016/j.jsc.2015.09.001_br0360 article-title: Sur un probleme de géométrie diophantienne linéaire ii publication-title: J. Reine Angew. Math. – year: 1989 ident: 10.1016/j.jsc.2015.09.001_br0420 – volume: 215 start-page: 1053 issue: 5 year: 2011 ident: 10.1016/j.jsc.2015.09.001_br0160 article-title: Compactifications of rational maps, and the implicit equations of their images publication-title: J. Pure Appl. Algebra doi: 10.1016/j.jpaa.2010.07.010 – start-page: 55 year: 2007 ident: 10.1016/j.jsc.2015.09.001_br0010 article-title: Geometric applications of the Bezout matrix in the Lagrange basis – volume: 222 issue: 1045 year: 2013 ident: 10.1016/j.jsc.2015.09.001_br0230 article-title: A study of singularities on rational curves via syzygies publication-title: Mem. Am. Math. Soc. – year: 2015 ident: 10.1016/j.jsc.2015.09.001_br0050 article-title: Castelnuovo–Mumford regularity with respect to multigraded ideals publication-title: J. Algebra – volume: vol. 185 year: 1998 ident: 10.1016/j.jsc.2015.09.001_br0240 article-title: Using Algebraic Geometry – year: 1994 ident: 10.1016/j.jsc.2015.09.001_br0390 – start-page: 317 year: 1994 ident: 10.1016/j.jsc.2015.09.001_br0560 article-title: Minimal polynomials and sparse resultants – volume: 420 start-page: 486 year: 2014 ident: 10.1016/j.jsc.2015.09.001_br0030 article-title: Fitting ideals and multiple-points of surface parameterizations publication-title: J. Algebra doi: 10.1016/j.jalgebra.2014.07.028 – year: 1998 ident: 10.1016/j.jsc.2015.09.001_br0330 article-title: Creation of fair b-spline surface fillets – volume: 36 start-page: 473 issue: 4 year: 1890 ident: 10.1016/j.jsc.2015.09.001_br0410 article-title: Ueber die Theorie der Algebraischen Formen publication-title: Math. Ann. doi: 10.1007/BF01208503 – volume: vol. 334 start-page: 131 year: 2003 ident: 10.1016/j.jsc.2015.09.001_br0270 article-title: Curves, surfaces, and syzygies – volume: vol. 555 year: 2011 ident: 10.1016/j.jsc.2015.09.001_br0290 – volume: 15 start-page: 803 issue: 8 year: 1998 ident: 10.1016/j.jsc.2015.09.001_br0300 article-title: The moving line ideal basis of planar rational curves publication-title: Comput. Aided Geom. Des. doi: 10.1016/S0167-8396(98)00014-4 – volume: 357 start-page: 322 year: 2012 ident: 10.1016/j.jsc.2015.09.001_br0110 article-title: Singular factors of rational plane curves publication-title: J. Algebra doi: 10.1016/j.jalgebra.2012.01.030 – volume: 265 start-page: 312 issue: 1 year: 2003 ident: 10.1016/j.jsc.2015.09.001_br0130 article-title: On the closed image of a rational map and the implicitization problem publication-title: J. Algebra doi: 10.1016/S0021-8693(03)00181-9 – year: 2011 ident: 10.1016/j.jsc.2015.09.001_br0250 – volume: 45 start-page: 414 issue: 4 year: 2010 ident: 10.1016/j.jsc.2015.09.001_br0490 article-title: Set-theoretic generators of rational space curves publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2009.11.001 – volume: 46 start-page: 14 year: 2014 ident: 10.1016/j.jsc.2015.09.001_br0190 article-title: Implicit matrix representations of rational Bézier curves and surfaces publication-title: Comput. Aided Des. doi: 10.1016/j.cad.2013.08.014 – start-page: 69 year: 2007 ident: 10.1016/j.jsc.2015.09.001_br0090 article-title: Implicitization of bihomogeneous parametrizations of algebraic surfaces via linear syzygies – start-page: 71 year: 2009 ident: 10.1016/j.jsc.2015.09.001_br0570 article-title: Curve/surface intersection problem by means of matrix representations – volume: 47 start-page: 733 issue: 1 year: 2012 ident: 10.1016/j.jsc.2015.09.001_br0580 article-title: Implicitization, parameterization and singularity computation of Steiner surfaces using moving surfaces publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2011.12.029 – volume: 303 start-page: 301 year: 1995 ident: 10.1016/j.jsc.2015.09.001_br0540 article-title: Implicitization using moving curves and surfaces – volume: 82 start-page: 53 issue: 1 year: 1983 ident: 10.1016/j.jsc.2015.09.001_br0450 article-title: Approximation complexes of blowing-up rings. II publication-title: J. Algebra doi: 10.1016/0021-8693(83)90173-4 – ident: 10.1016/j.jsc.2015.09.001_br0180 – volume: 30 start-page: 30 issue: 1 year: 1887 ident: 10.1016/j.jsc.2015.09.001_br0520 article-title: Zur Theorie der Reducibeln Ganzen Functionen von n Variabeln publication-title: Math. Ann. doi: 10.1007/BF01564528 – ident: 10.1016/j.jsc.2015.09.001_br0400 – volume: vol. 334 start-page: 151 year: 2003 ident: 10.1016/j.jsc.2015.09.001_br0590 article-title: Implicitizing rational surfaces with base points using the method of moving surfaces – volume: 137 start-page: 1855 issue: 6 year: 2009 ident: 10.1016/j.jsc.2015.09.001_br0070 article-title: Torsion of the symmetric algebra and implicitization publication-title: Proc. Am. Math. Soc. doi: 10.1090/S0002-9939-09-09550-1 – volume: 9 start-page: 93 issue: 2 year: 1992 ident: 10.1016/j.jsc.2015.09.001_br0220 article-title: Degree, multiplicity, and inversion formulas for rational surfaces using u-resultants publication-title: Comput. Aided Geom. Des. doi: 10.1016/0167-8396(92)90009-E – volume: 40 start-page: 1150 issue: 4–5 year: 2005 ident: 10.1016/j.jsc.2015.09.001_br0040 article-title: Implicitizing rational hypersurfaces using approximation complexes publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2004.04.005 – volume: 303 start-page: 543 issue: 2 year: 2006 ident: 10.1016/j.jsc.2015.09.001_br0500 article-title: Implicitization of rational surfaces using toric varieties publication-title: J. Algebra doi: 10.1016/j.jalgebra.2005.05.028 – volume: 324 start-page: 1314 issue: 6 year: 2010 ident: 10.1016/j.jsc.2015.09.001_br0080 article-title: Elimination and nonlinear equations of Rees algebras publication-title: J. Algebra doi: 10.1016/j.jalgebra.2010.07.006 – ident: 10.1016/j.jsc.2015.09.001_br0320 – volume: 44 start-page: 497 issue: 3 year: 1999 ident: 10.1016/j.jsc.2015.09.001_br0430 article-title: Reliable numerical methods for polynomial matrix triangularization publication-title: IEEE Trans. Autom. Control doi: 10.1109/9.751344 – year: 1832 ident: 10.1016/j.jsc.2015.09.001_br0550 – year: 1958 ident: 10.1016/j.jsc.2015.09.001_br0530 – start-page: 209 year: 1991 ident: 10.1016/j.jsc.2015.09.001_br0510 article-title: A new approach for surface intersection – volume: vol. 334 start-page: 203 year: 2003 ident: 10.1016/j.jsc.2015.09.001_br0280 article-title: What is a toric variety? – volume: vol. 131 year: 1993 ident: 10.1016/j.jsc.2015.09.001_br0380 article-title: Introduction to Toric Varieties – ident: 10.1016/j.jsc.2015.09.001_br0100 – volume: 39 start-page: 73 issue: 1 year: 2005 ident: 10.1016/j.jsc.2015.09.001_br0020 article-title: Equations of parametric surfaces with base points via syzygies publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2004.09.007 – volume: 348 start-page: 381 issue: 1 year: 2011 ident: 10.1016/j.jsc.2015.09.001_br0170 article-title: The implicit equation of a multigraded hypersurface publication-title: J. Algebra doi: 10.1016/j.jalgebra.2011.09.019 – volume: 26 start-page: 757 issue: 7 year: 2009 ident: 10.1016/j.jsc.2015.09.001_br0120 article-title: Matrix representations for toric parametrizations publication-title: Comput. Aided Geom. Des. doi: 10.1016/j.cagd.2009.03.005 – volume: 30 start-page: 116 issue: 1 year: 2013 ident: 10.1016/j.jsc.2015.09.001_br0350 article-title: Using implicit equations of parametric curves and surfaces without computing them: polynomial algebra by values publication-title: Comput. Aided Geom. Des. doi: 10.1016/j.cagd.2012.06.006 – volume: 1 start-page: 1716 year: 2004 ident: 10.1016/j.jsc.2015.09.001_br0370 article-title: Instant elimination, powers of ideals and an Oberwolfach example publication-title: Oberwolfach Rep. |
| SSID | ssj0009435 |
| Score | 2.1523948 |
| Snippet | We unveil in concrete terms the general machinery of the syzygy-based algorithms for the implicitization of rational surfaces in terms of the monomials in the... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 493 |
| SubjectTerms | Implicitization Matrix representation Rational surface Sparse polynomial Syzygy |
| Title | Implicitization of rational hypersurfaces via linear syzygies: A practical overview |
| URI | https://dx.doi.org/10.1016/j.jsc.2015.09.001 |
| Volume | 74 |
| WOSCitedRecordID | wos000366794100024&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1095-855X dateEnd: 20180228 omitProxy: false ssIdentifier: ssj0009435 issn: 0747-7171 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NT9swFLdY4bDLxoBpMJh82AkUFNdOHXMrqGhMCE0CpN4ix3FFqy1FSVoBfz3Psd205UNwWA5RFDVO6vfT8-_5fSH0kzFpjjQAgccBKDweSM50kGpNI92hVA3qriXn_OIi7vfFH5ddUtbtBHiex3d34va_ihrugbBN6uw7xD0bFG7ANQgdziB2OL9J8Gd1jPiwcgmWhg0WfsfvBqzOopwUgzoQazqUB4ZlSlPQ-eHeFIywieoudcrw1KnRJc558JTDlvf_UlNYuI5Mnyx69Y_HVWrbd9Voqz3ypGljPwT1AdTU9drsmk-W81sQpNME_DlNBTZJAHYhmVernM3pRWbbILolNrKR00-0t91IGB2OSlNckkSHtphos1R59_zSCjaLK_Qha6MEhkjMEEkoTNjeB7TaBssobKHV7lmv_7upy8xsD1b_D7zjuw4BXPqO56nLHB25WkefnAxw18r_C1rR-Qb67Ht0YKeyN9HlEhzweIA9HPACHDDAAVs4YA-HI9zFMzBgD4YtdH3auzr5FbhGGoGiLKyCSFJOqGRtBUo2YxJIXNiWnViKAeeCx1GkMqIyFodCkVDRjha2cqSmglCV0a-olY9z_Q1hCZSbg5XLFPDQNCISGK42njyRpTC_ZBuFfo4S5arMm2Ynf5MXZbON9meP3NoSK6_9mPmJTxxHtNwvARC9_NjOe97xHX1sUL6LWlUx0XtoTU2rYVn8cAh6BCBrh_Y |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Implicitization+of+rational+hypersurfaces+via+linear+syzygies%3A+A+practical+overview&rft.jtitle=Journal+of+symbolic+computation&rft.au=Botbol%2C+Nicol%C3%A1s&rft.au=Dickenstein%2C+Alicia&rft.date=2016-05-01&rft.issn=0747-7171&rft.volume=74&rft.spage=493&rft.epage=512&rft_id=info:doi/10.1016%2Fj.jsc.2015.09.001&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jsc_2015_09_001 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0747-7171&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0747-7171&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0747-7171&client=summon |