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 条
  • [41] Interval Arithmetic and Automatic Differentiation on GPU Using OpenCL
    Kozikowski, Grzegorz
    Kubica, Bartlomiej Jacek
    APPLIED PARALLEL AND SCIENTIFIC COMPUTING (PARA 2012), 2013, 7782 : 489 - 503
  • [42] Using interval arithmetic for determining the structure of convex hulls
    Krivsky, S
    Lang, B
    NUMERICAL ALGORITHMS, 2004, 37 (1-4) : 233 - 240
  • [43] Are multidimensional RDM interval arithmetic and constrained interval arithmetic one and the same?
    Piegat, A.
    Landowski, M.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2022, 19 (05): : 17 - 34
  • [44] A digital image watermarking method using interval arithmetic
    Minamoto, Teruya
    Yoshihara, Mitsuaki
    Fujii, Satoshi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2007, E90A (12) : 2949 - 2951
  • [45] Using interval arithmetic for robust state feedback design
    Smagina, Y
    Brewer, I
    SYSTEMS & CONTROL LETTERS, 2002, 46 (03) : 187 - 194
  • [46] Robust Control of Continuum Robots using Interval Arithmetic
    Hisch, Florian
    Giusti, Andrea
    Althoff, Matthias
    IFAC PAPERSONLINE, 2017, 50 (01): : 5660 - 5665
  • [47] Using Interval Arithmetic for Determining the Structure of Convex Hulls
    Stefanie Krivsky
    Bruno Lang
    Numerical Algorithms, 2004, 37 : 233 - 240
  • [48] On the foundations of interval arithmetic
    Markov, SM
    SCIENTIFIC COMPUTING AND VALIDATED NUMERICS, 1996, 90 : 307 - 313
  • [49] PROCEDURES FOR INTERVAL ARITHMETIC
    DEWAR, JKS
    COMPUTER JOURNAL, 1971, 14 (04): : 447 - &
  • [50] EXTENDED INTERVAL ARITHMETIC
    MARKOV, SM
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1978, 31 (02): : 163 - 166
12345