SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Journal of Symbolic Computation

Volumn 32, Issue 5, 2001, Pages 447-465

Improved projection for cylindrical algebraic decomposition

(1) Brown, Christopher W a

a UNITED STATES NAVAL ACADEMY (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035200652 PISSN: 07477171 EISSN: None Source Type: Journal
DOI: 10.1006/jsco.2001.0463 Document Type: Article

Times cited : (99)

References (20)

1
- 0021521367
- Cylindrical algebraic decomposition I: The basic algorithm
- (1984) SIAM J. Comput , vol.13 , pp. 865-877
- Arnon, D.S.¹ Collins, G.E.² McCallum, S.³

2
- 4243926236
- Real solving for positive dimensional systems
- Technical Report RR-3992, INRIA, September
- (2000)
- Aubry, P.¹ Rouillier, F.² Safey El Din, M.³

3
- 0032514313
- Simplification of truth-invariant cylindrical algebraic decompositions
- In Proceedings of International Symposium on Symbolic and Algebraic Computation
- (1998) , pp. 295-301
- Brown, C.W.¹

4
- 0003885601
- eds, Vienna, Springer
- (1998) Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation
- Caviness, B.F.¹ Johnson, J.R.²

5
- 85029837057
- Berlin, Springer, Reprinted in Caviness and Johnson (1998)
- (1975) Quantifier Elimination for the Elementary Theory of Real Closed Fields By Cylindrical Algebraic Decomposition, LNCS , vol.33 , pp. 134-183
- Collins, G.E.¹

6
- 0001938647
- Quantifier elimination by cylindrical algebraic decomposition - 20 years of progress
- Caviness, B., Johnson, J. eds, Vienna, Springer
- (1998) Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation
- Collins, G.E.¹

7
- 80052985571
- Partial cylindrical algebraic decomposition for quantifier elimination
- (Sep.)
- (1991) J. Symb. Comput , vol.12 , pp. 299-328
- Collins, G.E.¹ Hong, H.²

8
- 0004057454
- Berlin, Springer
- (1994) Discriminants, Resultants, and Multidimensional Determinants
- Gelfand, I.M.¹ Kapranov, M.M.² Zelevinsky, A.V.³

9
- 85025500424
- The complexity of deciding tarski algebra
- (1988) J. Symb. Comput , vol.5 , pp. 65-108
- Grigor'ev, D.¹ Yu, A.²

10
- 85013246481
- Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination
- (1992) Proceedings of International Symposium on Symbolic and Algebraic Computation , pp. 177-188
- Hong, H.¹

11
- 0031208923
- Testing stability by quantifier elimination
- Special Issue on Applications of Quantifier Elimination
- (1997) J. Symb. Comput , vol.24 , pp. 161-187
- Hong, H.¹ Liska, R.² Steinberg, S.³

12
- 0000176380
- Quantifier elimination: Optimal solution for two classical examples
- (1988) J. Symb. Comput , vol.5 , pp. 261-266
- Lazard, D.¹

13
- 0006798367
- An improved projection for cylindrical algebraic decomposition
- Bajaj, C. L. ed., Berlin, Springer, Collections of Papers from Abhyankar's 60th Birthday Conference
- (1994) Algebraic Geometry and Its Applications , pp. 467-476
- Lazard, D.¹

14
- 0003890956
- An Improved Projection Operator for Cylindrical Algebraic Decomposition
- Ph.D. Thesis, University of Wisconsin-Madison
- (1984)
- McCallum, S.¹

15
- 85025515304
- An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
- (1988) J. Symb. Comput , vol.5 , pp. 141-161
- McCallum, S.¹

16
- 0003040568
- An improved projection operator for cylindrical algebraic decomposition
- Caviness, B., Johnson, J. eds, Vienna, Springer-Verlag
- (1998) Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation
- McCallum, S.¹

17
- 85139916066
- On projection in CAD-based quantifier elimination with equational constraint
- Dooley, Sam ed
- (1999) Proceedings of International Symposium on Symbolic and Algebraic Computation , pp. 145-149
- McCallum, S.¹

18
- 0001572510
- On the computational complexity and geometry of the first-order theory of the reals, parts I-III
- (1992) J. Symb. Comput , vol.13 , pp. 255-352
- Renegar, J.¹

19
- 0033131339
- Solving zero-dimensional systems through the rational univariate representation
- (1999) J. Appl. Algebra Eng., Commun. Comput , vol.9 , pp. 433-461
- Rouillier, F.¹

20
- 0006762975
- Solving systems of strict polynomial inequalities
- (2000) J. Symb. Comput , vol.29 , pp. 471-480
- Strzebonski, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.