Real solution isolation using interval arithmetic

被引：27
|
作者：
Xia, Bican [1 ]
Zhang, Ting
机构：
[1] Peking Univ, LMAM, Beijing 100871, Peoples R China
[2] Peking Univ, Sch Math Sci, Beijing 100871, Peoples R China
来源：
COMPUTERS & MATHEMATICS WITH APPLICATIONS | 2006年 / 52卷 / 6-7期
关键词：
real solution isolation; interval arithmetic; polynomial systems; semialgebraic systems; maple;
D O I：
10.1016/j.camwa.2006.06.003
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We propose a complete algorithm for real solution isolation for semialgebraic systems by using interval arithmetic. The algorithm is implemented as a Maple program Nrealzero and its performance on several examples is reported. (c) 2006 Elsevier Ltd. All rights reserved.
引用
收藏
页码：853 / 860
页数：8
相关论文
共 50 条
  • [21] Interval arithmetic error estimation for the solution of Fredholm integral equation
    Babuska, Ivo
    Liu, Kang-Man
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2009, 86 (03) : 549 - 566
  • [22] A REALISTIC TOLERANT SOLUTION OF A SYSTEM OF INTERVAL LINEAR EQUATIONS WITH THE USE OF MULTIDIMENSIONAL INTERVAL ARITHMETIC
    Piegat, Andrzej
    Plucinski, Marcin
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2023, 33 (02) : 229 - 247
  • [23] CONFIDENCE BAND APPROXIMATION USING INTERVAL ARITHMETIC
    Brown, Simon
    Pedley, Kevin C.
    Muhamad, Noorzaid
    Simcock, David C.
    BANATS JOURNAL OF BIOTECHNOLOGY, 2012, 3 (05) : 47 - 50
  • [24] Interval Arithmetic Using SSE-2
    Lambov, Branimir
    RELIABLE IMPLEMENTATION OF REAL NUMBER ALGORITHMS: THEORY AND PRACTICE, 2008, 5045 : 102 - 113
  • [25] A frequency domain toolbox using interval arithmetic
    Haas, W
    Schlacher, K
    Weinhofer, J
    UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 1060 - 1065
  • [26] BOUNDING MATRIX EIGENSOLUTIONS USING INTERVAL ARITHMETIC
    HANSEN, E
    SIAM REVIEW, 1966, 8 (04) : 567 - &
  • [27] ON SOLVING SYSTEMS OF EQUATIONS USING INTERVAL ARITHMETIC
    HANSEN, ER
    MATHEMATICS OF COMPUTATION, 1968, 22 (102) : 374 - &
  • [28] On Complex Interval Arithmetic Using Polar Form
    Mahmood, Edrees M. Nori
    Soylu, Gultekin
    GAZI UNIVERSITY JOURNAL OF SCIENCE, 2022, 35 (01): : 132 - 146
  • [29] Guaranteed adaptive antialiasing using interval arithmetic
    Florez, Jorge
    Sbert, Mateu
    Sainz, Miguel A.
    Vehi, Josep
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 2, PROCEEDINGS, 2007, 4488 : 166 - +
  • [30] Secure arithmetic coding using interval splitting
    Kim, Hyungjin
    Villasenor, John D.
    Wen, Jiangtao
    2005 39TH ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS AND COMPUTERS, VOLS 1 AND 2, 2005, : 1218 - 1221
12345