×

Found 164 Documents (Results 1–100)

Punctual Hilbert scheme and certified approximate singularities. (English) Zbl 07300089

Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 336-343 (2020).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Axl, a geometric modeler for semi-algebraic shapes. (English) Zbl 1396.65028

Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 128-136 (2018).
PDFBibTeX XMLCite
Full Text: DOI HAL

Fast algorithm for border bases of Artinian Gorenstein algebras. (English) Zbl 1458.13036

Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 333-340 (2017).
MSC:  13P10 13E10 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient certification of numeric solutions to eigenproblems. (English) Zbl 1504.65112

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 81-94 (2017).
MSC:  65G30
PDFBibTeX XMLCite
Full Text: DOI HAL

Decomposition of low rank multi-symmetric tensor. (English) Zbl 1507.15016

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 51-66 (2017).
PDFBibTeX XMLCite
Full Text: DOI HAL

Border basis for polynomial system solving and optimization. (English) Zbl 1434.68717

Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 212-220 (2016).
MSC:  68W30 13P10 65Y15
PDFBibTeX XMLCite
Full Text: DOI HAL

Certifying isolated singular points and their multiplicity structure. (English) Zbl 1345.68286

Proceedings of the 40th international symposium on symbolic and algebraic computation, ISSAC 2015, Bath, UK, July 6–9, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3435-8). 213-220 (2015).
MSC:  68W30 12Y05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bisectors and Voronoï diagram of a family of parallel half-lines. (English) Zbl 1331.65033

Dokken, Tor (ed.) et al., SAGA – Advances in ShApes, geometry, and algebra. Results from the Marie Curie initial training network, March 2008 – October 2012. Cham: Springer (ISBN 978-3-319-08634-7/hbk; 978-3-319-08635-4/ebook). Geometry and Computing 10, 241-279 (2014).
MSC:  65D17 65D18
PDFBibTeX XMLCite
Full Text: DOI

On the dimension of spline spaces on triangulations. (English) Zbl 1331.41010

Dokken, Tor (ed.) et al., SAGA – Advances in ShApes, geometry, and algebra. Results from the Marie Curie initial training network, March 2008 – October 2012. Cham: Springer (ISBN 978-3-319-08634-7/hbk; 978-3-319-08635-4/ebook). Geometry and Computing 10, 177-197 (2014).
MSC:  41A15 68U07
PDFBibTeX XMLCite
Full Text: DOI

Singular zeros of polynomial systems. (English) Zbl 1331.65074

Dokken, Tor (ed.) et al., SAGA – Advances in ShApes, geometry, and algebra. Results from the Marie Curie initial training network, March 2008 – October 2012. Cham: Springer (ISBN 978-3-319-08634-7/hbk; 978-3-319-08635-4/ebook). Geometry and Computing 10, 77-103 (2014).
MSC:  65H10 65H04 65G30
PDFBibTeX XMLCite
Full Text: DOI

Toric border basis. (English) Zbl 1325.68296

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 343-350 (2014).
MSC:  68W30 13P10 13P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Border basis representation of a general quotient algebra. (English) Zbl 1323.68618

van der Hoeven, Joris (ed.) et al., Proceedings of the 37th international symposium on symbolic and algebraic computation, ISSAC 2012, Grenoble, France, July 22–25, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1269-1). 265-272 (2012).
MSC:  68W30 13P10
PDFBibTeX XMLCite
Full Text: DOI

A construction of injective parameterizations of domains for isogeometric applications. (English) Zbl 1350.65128

Moreno Maza, Marc (ed.), Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0515-0). 149-150 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Deflation and certified isolation of singular zeros of polynomial systems. (English) Zbl 1323.65054

Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 249-256 (2011).
MSC:  65H10 68W30
PDFBibTeX XMLCite
Full Text: DOI

Multihomogeneous polynomial decomposition using moment matrices. (English) Zbl 1323.15017

Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 35-42 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

The DMM bound: multivariate (aggregate) separation bounds. (English) Zbl 1321.68528

Watt, Stephen M. (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). 243-250 (2010).
MSC:  68W30 65H04 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Toeplitz and Toeplitz-block-Toeplitz matrices and their correlation with syzygies of polynomials. (English) Zbl 1215.15033

Olshevsky, Vadim (ed.) et al., Matrix methods. Theory, algorithms and applications. Dedicated to the memory of Gene Golub. Based on the 2nd international conference on matrix methods and operator equations, Moscow, Russia, July 23–27, 2007. Hackensack, NJ: World Scientific (ISBN 978-981-283-601-4/hbk). 296-312 (2010).
MSC:  15B05 13D02
PDFBibTeX XMLCite
Full Text: arXiv

Advances in geometric modeling and processing. 6th international conference, GMP 2010, Castro Urdiales, Spain, June 16–18, 2010. Proceedings. (English) Zbl 1189.68015

Lecture Notes in Computer Science 6130. Berlin: Springer (ISBN 978-3-642-13410-4/pbk). x, 315 p. (2010).
MSC:  68-06 68U05 00B25
PDFBibTeX XMLCite
Full Text: DOI

A subdivision method for arrangement computation of semi-algebraic curves. (English) Zbl 1191.68890

Emiris, Ioannis Z. (ed.) et al., Nonlinear computational geometry. Papers presented at the workshop, Minneapolis, MN, USA, May 29–June 2, 2007. Dordrecht: Springer (ISBN 978-1-4419-0998-5/hbk; 978-1-4419-0999-2/e-book). The IMA Volumes in Mathematics and its Applications 151, 165-187 (2010).
MSC:  68W30 65D17 14P10
PDFBibTeX XMLCite
Full Text: DOI

Continued fraction expansion of real roots of polynomial systems. (English) Zbl 1356.65124

Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 85-94 (2009).
MSC:  65H04 65H10
PDFBibTeX XMLCite
Full Text: DOI Link

Curve/surface intersection problem by means of matrix representations. (English) Zbl 1356.65060

Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 71-78 (2009).
MSC:  65D17 65D18 65F30
PDFBibTeX XMLCite
Full Text: DOI Link

Computing nearest gcd with certification. (English) Zbl 1356.68273

Kai, Hiroshi (ed.) et al., Proceedings of the 2009 workshop on symbolic-numeric computation, SNC 2009, Kyoto, Japan, August 3–5, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-664-9). 29-34 (2009).
MSC:  68W30 12E05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Moment matrices, trace matrices, and the radical of ideals. (English) Zbl 1487.13057

Jeffrey, David J. (ed.), Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM). 125-132 (2008).
MSC:  13P10 44A60 68W30
PDFBibTeX XMLCite
Full Text: DOI

On the computation of the topology of a non-reduced implicit space curve. (English) Zbl 1238.14046

Jeffrey, David J. (ed.), ISSAC 2008. Proceedings of the twenty-first international symposium on symbolic and algebraic computation 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-904-3). 47-54 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Real algebraic numbers: Complexity analysis and experimentation. (English) Zbl 1165.65315

Hertling, Peter (ed.) et al., Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8–13, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-85520-0/pbk). Lecture Notes in Computer Science 5045, 57-82 (2008).
MSC:  65D17 65Y20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software