skip to main content
10.1145/276698.276863acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
Article
Free Access

A black box approach to the algebraic set decomposition problem

Authors Info & Claims
Published:23 May 1998Publication History
First page image

References

  1. 1.E. Kaltofen and B. M. Trager. Computing with polynomials given by black boxes for their evaluations: Greatest common divisors, faetorizafion, separation of numerators and denominators. Journal of Symbolic Computation, 9(3):300-320, March 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. 2.Joachim von zur Oathen and Erich Kaltofen. Factoring sparse multivariate polynomials. Journal of Computer and System Sciences, 31(2):265-287, October 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.Ming-Deh Huang and Ashwin Rao. Interpolation of sparse multivariate polynomials over large finite fields with applications. In Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, pages 508-517, January 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 4.D. Yu. Grigofiev and A. L. Chistov. Fast decomposition of polynomials into irreducible ones and the solution of systems of algebraic equations. Soviet Math. Dokl., 29(2), 1984.Google ScholarGoogle Scholar
  5. 5.A. L. Chistov. Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time. Soviet Mathematics, 34(4): 1838-1882, 1986.Google ScholarGoogle ScholarCross RefCross Ref
  6. 6.Dima Yu Gfigofiev. Factofizafion of polynomials over a finite field and the solution of systems of algebraic equations. Soviet Mathematics, 34(4): 1762-i 803, 1986.Google ScholarGoogle Scholar
  7. 7.Ming-Deh Huang and 'kqu-Chung Wong. Solving systems of polynomial congruences modulo a large prime. In Proceedings of lEEE Symposium on Foundations of Computer Science, pages 115-124, 1996. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8.Yiu-Chung Wong. Algebraic Set Decomposition, Polynomial Congruences, and Extended Hilbert Irreducibilit3'. PhD thesis, University of Southern California, 1997. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9.John Canny. The Complerity of Robot Motion Planning. PhD thesis, Massachusetts Institute of Technology, 1988.Google ScholarGoogle Scholar
  10. 10.John Canny. Some algebraic and geometric computations in PSPACE. In Proceedings of the 20thACM Symposium on the Theory of Computing, pages 460-467. The Association of Computing Machinery, May 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.Douglas John Ierardi. The Complexity of Quantifier Elimination in the Theoo, of an Algebraically Closed Field. PhD thesis, Comell University, 1989.Google ScholarGoogle Scholar
  12. 12.Mare Giusti and Loos Heintz. Algofithmesdisons rapides - pour la d6composition d'une vari6t6 alg6bdque en composantes irr6ductibles et 6quidimensionnelles. In Teo Mora and Carlo Traverso, editors, Effective Methods in Algebraic Geometry, volume 94 of Progress in Mathematics, pages 169-194. Birkh{iuser, 1991.Google ScholarGoogle Scholar
  13. 13.Mare Giusti and Loos Heintz. La d6termination des points isol6s et de la dimension d'une vari6t6 alg6bfique peut se faire en temps polynomial. In D. Eisenbud and L. Robbiano, editors, ComputationalAlgebraic Geometo' and Commutative Algebra. Cambridge University Press, 1993.Google ScholarGoogle Scholar
  14. 14.1. Renegar. On the computational complexity and geometry of the first order theory of the reals, parts iiii. Journal of Symbolie Computation, 13(3):255-352, 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15.Ming-Deh Huang and Yiu-Chung Wong. Extended hilbert irreducibility and its applications. In Proceedings of the Ninth Annual A CM-$IAM Symposium on Discrete Algorithms, pages 50-58, January 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16.Pascal Koiran. Randomized and deterministic algorithms for the dimension of algebraic varieties. In Pro. ceedings of lEEE Symposium on Foundations of Computer Science, pages 36-45, 1997. Google ScholarGoogle Scholar
  17. 17.Bemd Sturmfels. Sparse elimination theory. In D. Eisenbud and L. Robbiano, editors, Computational Algebraic Geometry and Commutative Algebra, pages 264-298. Cambridge University Press, 1993.Google ScholarGoogle Scholar
  18. 18.I. Emifis and J. Canny. A pratical method for the sparse resultant. In Proceedings of ACM International Symposium on Symbolic and Algebraic Computation, Kiev, pages 183-192, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19.J.T. Schwartz. Probabilistie algorithms for verification of polynomial identities. Jou,zal ofthe ACbl, 27:701- 717, 1980. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. 20.Angel Dfaz and Erich Kaltofen. On computing greatest common divisors with polynomials given by black boxes for their evaluation. In Proe. ISSAC '95, pages 232-239, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. 21.D. Gfigofiev and M. Karpinski. A zero-test and an interpolation algorithm for the shifted sparse polynomials. In Gerard Cohen, Teo Mora, and Oscar Moreno, editors, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, volume 673 of Lecture Notes in Computer Science, pages 162-169. Spfinger-Verlag, Berlin, Germany, 1993. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 22.K. Ffiecll and M. Sudan. Some improvements to lowdegree tests. In Proceedings of the Third Israel Sympo. sium on Theory and Computing Systems, IEEE, 1995, Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. A black box approach to the algebraic set decomposition problem

                  Recommendations

                  Comments

                  Login options

                  Check if you have access through your login credentials or your institution to get full access on this article.

                  Sign in
                  • Published in

                    cover image ACM Conferences
                    STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing
                    May 1998
                    684 pages
                    ISBN:0897919629
                    DOI:10.1145/276698

                    Copyright © 1998 ACM

                    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

                    Publisher

                    Association for Computing Machinery

                    New York, NY, United States

                    Publication History

                    • Published: 23 May 1998

                    Permissions

                    Request permissions about this article.

                    Request Permissions

                    Check for updates

                    Qualifiers

                    • Article

                    Acceptance Rates

                    STOC '98 Paper Acceptance Rate75of169submissions,44%Overall Acceptance Rate1,469of4,586submissions,32%

                    Upcoming Conference

                    STOC '24
                    56th Annual ACM Symposium on Theory of Computing (STOC 2024)
                    June 24 - 28, 2024
                    Vancouver , BC , Canada
                  • Article Metrics

                    • Downloads (Last 12 months)28
                    • Downloads (Last 6 weeks)2

                    Other Metrics

                  PDF Format

                  View or Download as a PDF file.

                  PDF

                  eReader

                  View online with eReader.

                  eReader