Journal of applied mathematics & informatics

The Korean Society for Computational and Applied Mathematics (한국전산응용수학회)
권호 표지
DOI QR코드

DOI QR Code

REAL ROOT ISOLATION OF ZERO-DIMENSIONAL PIECEWISE ALGEBRAIC VARIETY

  • Received : 2010.02.25
  • Accepted : 2010.06.25
  • Published : 2011.01.30
Download PDF
⟨ Previous Next ⟩

Abstract

As a zero set of some multivariate splines, the piecewise algebraic variety is a kind of generalization of the classical algebraic variety. This paper presents an algorithm for isolating real roots of the zero-dimensional piecewise algebraic variety which is based on interval evaluation and the interval zeros of univariate interval polynomials in Bernstein form. An example is provided to show the proposed algorithm is effective.

Keywords

References

  1. G.E.Collins, Quantifer Elimination for Real Closed Fields by Cyclindric Algebraic Decomposition, LNCC33, Springer, 1975.
  2. G.E.Collins, A.G.Akritas, Polynomial real root isolation using Descarte's rule of signs, in: SYMSAC, 1976.
  3. G.E.CollinsJ.R.Johnson, W.Krandick, Interval arithmetic in cylindrical algebraic decom-position, Journal of Symbolic Computation 34(2002), 145-157. https://doi.org/10.1006/jsco.2002.0547
  4. X.C.Fan, J.S.Deng, F.L.Chen, Zeros of univariate interval polynomials, Journal of Computational and Applied Mathematics 216(2008), 563-573. https://doi.org/10.1016/j.cam.2007.06.007
  5. Y.S.Lai, R.H.Wang, J.M.Wu, Real zeros of the zero-dimensional parametric piecewise algebraic variety, Science in China Series A(Chinese) 38(2008), 1153-1167.
  6. R.E.Moore, Interval Analysis, Englewood Cliffs: Prentice-Hall, 1966.
  7. F.Rouillier, P.Zimmermann, Efficient isolation of polynomial's real roots, Journal of Computational and Applied Mathematics 162(2004), 33-50. https://doi.org/10.1016/j.cam.2003.08.015
  8. D.R.Wang et al., Interval Methods for Nonlinear Equations, Shanghai Scientific and Techincal Publishers, 1987.
  9. R.H.Wang, Multivariate Spline Functions and Their Applications, Science Press/Kluwer Pub., Beijing/New York, 2001.
  10. R.H.Wang, Y.S.Lai, Real piecewise algebraic variety, Journal of Computational Mathematics 21(2003), 473-480.
  11. R.H.Wang, J.M.Wu, Real root isolation of spline functions, Journal of Computational Mathematics 26(2008), 69-75.
  12. R.H.Wang, Z.Q.Xu, Estimation of the Bezout number of piecewise algebraic curves, Science in China Series A 46(2003), 710-717. https://doi.org/10.1360/02ys0136
  13. R.H.Wang, X.L.Zhang, Interval iterative algorithm for computing algebraic variety, Computers and Mathematics with Applications 56(2008), 565-571. https://doi.org/10.1016/j.camwa.2008.01.036
  14. R.H.Wang, C.G.Zhu, Piecewise algebraic varieties, Progress in Natural Science 14(2004), 568-572. https://doi.org/10.1080/10020070412331343961
  15. B.C.Xia, L.Yang, An algorithm for isolating the real solutions of semi-algebraic systems, Journal of Symbolic Computation 34(2002), 461-477. https://doi.org/10.1006/jsco.2002.0572
  16. B.C.Xia, T.Zhang, Real solution isolation using interval arithmetic, Computers and Mathematics with Applications 52(2006), 853-860. https://doi.org/10.1016/j.camwa.2006.06.003
  17. C.G.Zhu, R.H.Wang, Piecewise semialgebraic sets, Journal of Computational Mathematics 23(2005), 503-512