An adjacency algorithm for cylindrical algebraic decompositions of three-dimenslonal space-Reference-Cited by-同舟云学术

An adjacency algorithm for cylindrical algebraic decompositions of three-dimenslonal space

Published:1988-02 Issue:1-2 Volume:5 Page:163-187
ISSN:0747-7171
Container-title:Journal of Symbolic Computation
language:en
Short-container-title:Journal of Symbolic Computation

Author:

Arnon Dennis S.,Collins George E.,McCallum Scott

Publisher

Elsevier BV

Subject

Computational Mathematics,Algebra and Number Theory

Reference16 articles.

1. Cylindrical algebraic decomposition I: the basic Mgorlthm;Arnon;SIAM J. Camp.,1984

2. Cylindrical algebraic decomposition II: an adjacency algorithm for the plane;Arnon;SIAM J. Comp.,1984

3. A cellular decomposition algorithm for semi-algebralc sets;Arnon;Proceedings of an InternationM Symposlum on Symbolic and Algebraic Manipulation (EUROSAM '79). Springer Lec. Notes Comp. Sci,1979

4. Algorithms for the Geometry of Semi-Algebraic Sets;Arnon,1981

5. A cluster-based cylindrical algebraic decomposition algorithm;Arnon;J. Symb. Comp,1988

Cited by 22 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Topology and Isotopic Meshing of Plane Algebraic Curves;Journal of Systems Science and Complexity;2020-02

2. CAD Adjacency Computation Using Validated Numerics;Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation;2017-07-23

3. Truth table invariant cylindrical algebraic decomposition;Journal of Symbolic Computation;2016-09

4. Special algorithm for stability analysis of multistable biological regulatory systems;Journal of Symbolic Computation;2015-09

5. On the Topology and Visualization of Plane Algebraic Curves;Computer Algebra in Scientific Computing;2015