메뉴 건너뛰기




Volumn 13, Issue 1, 1997, Pages 50-64

Nearly sharp complexity bounds for multiprocessor algebraic computations

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0031101385     PISSN: 0885064X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcom.1997.0436     Document Type: Article
Times cited : (3)

References (17)
  • 2
    • 85029837057 scopus 로고
    • Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
    • New York/Berlin: Springer-Verlag. p. 134-183
    • Collins G. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Lecture Notes in Computer Science. 33:1975;Springer-Verlag, New York/Berlin. p. 134-183.
    • (1975) Lecture Notes in Computer Science , vol.33
    • Collins, G.1
  • 3
    • 0001682069 scopus 로고    scopus 로고
    • On the power of real Turing machines over binary inputs
    • Cucker F., Grigoriev D. On the power of real Turing machines over binary inputs. SIAM J. Comput. 26:1997;243-254.
    • (1997) SIAM J. Comput. , vol.26 , pp. 243-254
    • Cucker, F.1    Grigoriev, D.2
  • 4
    • 84957621752 scopus 로고
    • Parallel Arithmetic Computations: A Survey
    • New York/Berlin: Springer-Verlag. p. 93-112
    • von zur Gathen J. Parallel Arithmetic Computations: A Survey. Lecture Notes in Computer Science. 233:1986;Springer-Verlag, New York/Berlin. p. 93-112.
    • (1986) Lecture Notes in Computer Science , vol.233
    • Von Zur Gathen, J.1
  • 5
    • 85025500424 scopus 로고
    • Complexity of deciding Tarski algebra
    • Grigoriev D. Complexity of deciding Tarski algebra. J. Symbolic Comput. 5:1988;65-108.
    • (1988) J. Symbolic Comput. , vol.5 , pp. 65-108
    • Grigoriev, D.1
  • 6
    • 0029513527 scopus 로고
    • Improved lower bound on testing membership to a polyhedron by algebraic decision trees
    • 1995 265
    • D. Grigoriev, M. Karpinski, N. Vorobjov, 1995, Improved lower bound on testing membership to a polyhedron by algebraic decision trees, Proc. IEEE FOCS, 1995, 258, 265.
    • (1995) Proc. IEEE FOCS , pp. 258
    • Grigoriev, D.1    Karpinski, M.2    Vorobjov, N.3
  • 8
    • 38249000122 scopus 로고
    • Point location in arrangements of hyperplanes
    • Meiser S. Point location in arrangements of hyperplanes. Inform. and Comput. 106:1993;286-303.
    • (1993) Inform. and Comput. , vol.106 , pp. 286-303
    • Meiser, S.1
  • 9
    • 0000401631 scopus 로고
    • Simulating probabilistic by deterministic algebraic computation trees
    • Meyer auf der Heide F. Simulating probabilistic by deterministic algebraic computation trees. Theoret. Comput. Sci. 41:1985;325-330.
    • (1985) Theoret. Comput. Sci. , vol.41 , pp. 325-330
    • Meyer Auf Der Heide, F.1
  • 11
    • 84966260816 scopus 로고
    • On the Betti numbers of real varieties
    • Milnor J. On the Betti numbers of real varieties. Proc. AMS. 15:1964;275-280.
    • (1964) Proc. AMS , vol.15 , pp. 275-280
    • Milnor, J.1
  • 14
    • 0028092499 scopus 로고
    • Lower bounds for parallel linear programming and other problems
    • 1994 644
    • K. Mulmuley, 1994, Lower bounds for parallel linear programming and other problems, Proc, ACM Symposium on Theoretical Computation, 1994, 603, 644.
    • (1994) Proc, ACM Symposium on Theoretical Computation , pp. 603
    • Mulmuley, K.1
  • 15
    • 0002943521 scopus 로고
    • Lower bounds for algebraic decision trees
    • Steele M., Yao A. Lower bounds for algebraic decision trees. J. Algorithms. 3:1982;1-8.
    • (1982) J. Algorithms , vol.3 , pp. 1-8
    • Steele, M.1    Yao, A.2
  • 16
  • 17
    • 0003148287 scopus 로고
    • On the polyhedral decision problem
    • Yao A., Rivest R. On the polyhedral decision problem. SIAM J. Comput. 9:1980;343-347.
    • (1980) SIAM J. Comput. , vol.9 , pp. 343-347
    • Yao, A.1    Rivest, R.2


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