Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
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

Published: 23 May 1998 Publication History
First page of PDF

References

[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.
[2]
Joachim von zur Oathen and Erich Kaltofen. Factoring sparse multivariate polynomials. Journal of Computer and System Sciences, 31(2):265-287, October 1985.
[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.
[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.
[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.
[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.
[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.
[8]
Yiu-Chung Wong. Algebraic Set Decomposition, Polynomial Congruences, and Extended Hilbert Irreducibilit3'. PhD thesis, University of Southern California, 1997.
[9]
John Canny. The Complerity of Robot Motion Planning. PhD thesis, Massachusetts Institute of Technology, 1988.
[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.
[11]
Douglas John Ierardi. The Complexity of Quantifier Elimination in the Theoo, of an Algebraically Closed Field. PhD thesis, Comell University, 1989.
[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.
[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.
[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.
[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.
[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.
[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.
[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.
[19]
J.T. Schwartz. Probabilistie algorithms for verification of polynomial identities. Jou,zal ofthe ACbl, 27:701- 717, 1980.
[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.
[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.
[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,

Recommendations

Comments

Information & Contributors

Information

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
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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 1998

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

STOC98
Sponsor:

Acceptance Rates

STOC '98 Paper Acceptance Rate 75 of 169 submissions, 44%;
Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 590
    Total Downloads
  • Downloads (Last 12 months)49
  • Downloads (Last 6 weeks)16
Reflects downloads up to 15 Oct 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media