A CLUSTER-BASED CYLINDRICAL ALGEBRAIC DECOMPOSITION ALGORITHM

被引：17
|
作者：
ARNON, DS
机构：
来源：
JOURNAL OF SYMBOLIC COMPUTATION | 1988年 / 5卷 / 1-2期
关键词：
D O I：
10.1016/S0747-7171(88)80012-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：189 / 212
页数：24
相关论文
共 50 条
  • [31] A cluster-based Peer-to-Peer routing algorithm
    Wu, ZD
    Rao, WX
    Ma, FY
    2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS, 2003, : 334 - 337
  • [32] A Cluster-Based Load Balancing Algorithm in Cloud Computing
    Dhurandher, Sanjay K.
    Obaidat, Mohammad S.
    Woungang, Isaac
    Agarwal, Pragya
    Gupta, Abhishek
    Gupta, Prateek
    2014 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2014, : 2921 - 2925
  • [33] Quantifier elimination by cylindrical algebraic decomposition based on regular chains
    Chen, Changbo
    Maza, Marc Moreno
    JOURNAL OF SYMBOLIC COMPUTATION, 2016, 75 : 74 - 93
  • [34] CYLINDRICAL ALGEBRAIC DECOMPOSITION BY QUANTIFIER ELIMINATION
    ARNON, DS
    MCCALLUM, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1982, 144 : 215 - 222
  • [35] Cylindrical algebraic decomposition with equational constraints
    England, Matthew
    Bradford, Russell
    Davenport, James H.
    JOURNAL OF SYMBOLIC COMPUTATION, 2020, 100 : 38 - 71
  • [36] Improved projection for cylindrical algebraic decomposition
    Brown, CW
    JOURNAL OF SYMBOLIC COMPUTATION, 2001, 32 (05) : 447 - 465
  • [37] Interval arithmetic in cylindrical algebraic decomposition
    Collins, GE
    Johnson, JR
    Krandick, W
    JOURNAL OF SYMBOLIC COMPUTATION, 2002, 34 (02) : 145 - 157
  • [38] Fully incremental cylindrical algebraic decomposition
    Kremer, Gereon
    Abraham, Erika
    JOURNAL OF SYMBOLIC COMPUTATION, 2020, 100 : 11 - 37
  • [39] Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
    Chen, Changbo
    Maza, Marc Moreno
    Xia, Bican
    Yang, Lu
    ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, 2009, : 95 - 102
  • [40] Improved Uneven Cluster-Based routing protocol based on CRT algorithm
    Sun, Shunyuan
    Sun, Li
    Chen, Shu
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 33 (05) : 2775 - 2782
12345