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 条
  • [31] Interval Arithmetic
    Sainz, Miguel A.
    Armengol, Joaquim
    Calm, Remei
    Herrero, Pau
    Jorba, Lambert
    Vehi, Josep
    MODAL INTERVAL ANALYSIS: NEW TOOLS FOR NUMERICAL INFORMATION, 2014, 2091 : 121 - 141
  • [32] A comparison of interval analysis using constraint interval arithmetic and fuzzy interval analysis using gradual numbers
    Lodwick, Weldon A.
    Untiedt, Elizabeth A.
    2008 ANNUAL MEETING OF THE NORTH AMERICAN FUZZY INFORMATION PROCESSING SOCIETY, VOLS 1 AND 2, 2008, : 557 - 562
  • [33] APPROXIMATION OF EXTENDED INTERVAL ARITHMETIC BY SIMPLE MACHINE INTERVAL ARITHMETIC
    APOSTOLA.N
    KULISCH, U
    COMPUTING, 1967, 2 (03) : 181 - &
  • [34] Exploiting Interval Arithmetic for Predicting Real Arrays Performances - The Linear Case
    Carlin, Matteo
    Anselmi, Nicola
    Manica, Luca
    Rocca, Paolo
    Massa, Andrea
    2013 IEEE ANTENNAS AND PROPAGATION SOCIETY INTERNATIONAL SYMPOSIUM (APSURSI), 2013, : 298 - 299
  • [35] Numerical solution for interval initial value problems based on interactive arithmetic
    Esmi, E.
    Sacilotto, C.
    Wasques, V. F.
    Barros, L. C.
    IRANIAN JOURNAL OF FUZZY SYSTEMS, 2022, 19 (06): : 1 - 12
  • [36] INTERACTIVE METHOD WITH INTERVAL ARITHMETIC FOR SOLUTION INCLUSION IN LINEAR EQUATION SYSTEMS
    PLATZODER, L
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1976, 56 (03): : T308 - T309
  • [37] Modeling Uncertainty in the Wings Method Using Interval Arithmetic
    Michnik, Jerzy
    Grabowski, Artur
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, 2020, 19 (01) : 221 - 240
  • [38] Model Inversion Using Extended Gradual Interval Arithmetic
    Boukezzoula, Reda
    Foulloy, Laurent
    Galichet, Sylvie
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2012, 20 (01) : 82 - 95
  • [39] Certifying Zeros of Polynomial Systems Using Interval Arithmetic
    Breiding, Paul
    Rose, Kemal
    Timme, Sascha
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2023, 49 (01):
  • [40] On Discrete Minimax Problems in R Using Interval Arithmetic
    Wolfe, Michael A.
    Reliable Computing, 5 (04): : 371 - 383
12345