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 条
  • [1] CALCULUS FOR INTERVAL FUNCTIONS OF A REAL VARIABLE USING EXTENDED INTERVAL ARITHMETIC
    MARKOV, SM
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1978, 31 (04): : 373 - 376
  • [2] A Fault Isolation Method Using Interval Arithmetic for Nonlinear Dynamic Systems
    Li, Zetao
    Dahhou, Boutaieb
    Li, Qiao
    PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, : 1633 - 1637
  • [3] SOLUTION OF POLYNOMIAL EQUATIONS IN INTERVAL ARITHMETIC
    GRANT, JA
    HITCHINS, GD
    COMPUTER JOURNAL, 1973, 16 (01): : 69 - 72
  • [4] Exact real arithmetic for interval number systems
    Kurka, Petr
    THEORETICAL COMPUTER SCIENCE, 2014, 542 : 32 - 43
  • [5] Verified Real Number Calculations: A Library for Interval Arithmetic
    Daumas, Marc
    Lester, David
    Munoz, Cesar
    IEEE TRANSACTIONS ON COMPUTERS, 2009, 58 (02) : 226 - 237
  • [6] Applying interval arithmetic to real, integer, and Boolean constraints
    Benhamou, F
    Older, WJ
    JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (01): : 1 - 24
  • [7] On a refined analysis of some problems in interval arithmetic using real number complexity theory
    Meer, Klaus
    Reliable Computing, 2004, 10 (03) : 209 - 225
  • [8] ON INTERVAL ENCLOSURES USING SLOPE ARITHMETIC
    SHEN, ZH
    WOLFE, MA
    APPLIED MATHEMATICS AND COMPUTATION, 1990, 39 (01) : 89 - 105
  • [9] ON GLOBAL OPTIMIZATION USING INTERVAL ARITHMETIC
    MUNACK, H
    COMPUTING, 1992, 48 (3-4) : 319 - 336
  • [10] Using Interval Arithmetic on the Leontief Model
    Benhari, Mohamed Amine
    Kaicer, Mohammed
    ADVANCED INTELLIGENT SYSTEMS FOR SUSTAINABLE DEVELOPMENT (AI2SD'2020), VOL 1, 2022, 1417 : 1079 - 1085
12345