ON APPROXIMATIONS AND INCIDENCE IN CYLINDRICAL ALGEBRAIC DECOMPOSITIONS

被引:13
|
作者
PRILL, D
机构
关键词
D O I
10.1137/0215069
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:972 / 993
页数:22
相关论文
共 50 条
  • [1] Cylindrical Algebraic Sub-Decompositions
    Wilson, D. J.
    Bradford, R. J.
    Davenport, J. H.
    England, M.
    MATHEMATICS IN COMPUTER SCIENCE, 2014, 8 (02) : 263 - 288
  • [2] On Minimal and Minimum Cylindrical Algebraic Decompositions
    Michel, Lucas
    Mathonet, Pierre
    Zenaidi, Naim
    PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024, 2024, : 316 - 323
  • [3] A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions
    Chen, Changbo
    Jing, Rui-Juan
    Qian, Chengrong
    Yuan, Yaru
    Zhao, Yuegang
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2024, 2024, 14938 : 100 - 119
  • [4] Open Non-uniform Cylindrical Algebraic Decompositions
    Brown, Christopher W.
    PROCEEDINGS OF THE 2015 ACM ON INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'15), 2015, : 85 - 92
  • [5] Local box adjacency algorithms for cylindrical algebraic decompositions
    McCallum, S
    Collins, GE
    JOURNAL OF SYMBOLIC COMPUTATION, 2002, 33 (03) : 321 - 342
  • [6] Simplification of truth-invariant cylindrical algebraic decompositions
    Brown, Christopher W.
    Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, : 295 - 301
  • [7] AN ADJACENCY ALGORITHM FOR CYLINDRICAL ALGEBRAIC DECOMPOSITIONS OF 3-DIMENSIONAL SPACE
    ARNON, DS
    COLLINS, GE
    MCCALLUM, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 204 : 246 - 261
  • [8] AN ADJACENCY ALGORITHM FOR CYLINDRICAL ALGEBRAIC DECOMPOSITIONS OF 3-DIMENSIONAL SPACE
    ARNON, DS
    COLLINS, GE
    MCCALLUM, S
    JOURNAL OF SYMBOLIC COMPUTATION, 1988, 5 (1-2) : 163 - 187
  • [9] On algebraic approximations of certain algebraic numbers
    Yuan, PZ
    JOURNAL OF NUMBER THEORY, 2003, 102 (01) : 1 - 10
  • [10] Algebraic and Discrete Velte Decompositions
    M. Dobrowolski
    G. Stoyan
    BIT Numerical Mathematics, 2001, 41 : 465 - 479