skip to main content
10.1145/120694.120772acmconferencesArticle/Chapter ViewAbstractPublication PagesissacConference Proceedingsconference-collections
Article
Free Access

DSC: a system for distributed symbolic computation

Authors Info & Claims
Published:01 June 1991Publication History
First page image

References

  1. Atkin, A. O. L. and Morain, F., "Elliptic curves and prireality proving," Math. Comput., submitted (September 1990).Google ScholarGoogle Scholar
  2. Bach, E., Driscoll, j., and Shallit, J., "Factor refinement," in Proc. ACM-SIAM Syrup. Discrete Algorithms; SIAM, Philadelphia, PA, pp. 201-211, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Cantor, D. G. and Zassenhaus, H., "A new algorithm for factoring polynomials over finite fields," Math. Comp. 36, pp. 587-592 (1981).Google ScholarGoogle ScholarCross RefCross Ref
  4. Char, B. W., "Progress report on a system for generalpurpose parallel symbolic algebraic computation," in Proc. 1990 Internat. Syrup. Symbolic Algebraic Cornput., edited by S. Watanabe and M. Nagata; ACM Press, pp. 96-103, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Collins, G. E., Johnson, J. R., and Kuechlin, W., "PARSAC-2: A multi-threaded system for symbolic and algebraic computation," Tech. Report TR38, Comput. and Information Sci. Research Center, Ohio State University, December 1990.Google ScholarGoogle Scholar
  6. Hitz, M., "HIPREC: Long integer arithmetic for SUN workstations and for the CRAY X/MP," Master's Project, Dept. Comput. Sci., Rensselaer Polytechnic Institute, Troy, N.Y., December 1988.Google ScholarGoogle Scholar
  7. Johnson, J. R., "Designing Algebraic Algorithms for the Cray X-MP," M.S. Thesis, University of Delaware, January 1988.Google ScholarGoogle Scholar
  8. Kaltofen, E., Lakshman, Y. N., and Wiley, J. M., "Modular rational sparse multivariate polynomial interpolation," in Proc. 1990 Internat. Syrup. Symbolic Algebraic Comput., edited by S. Watanabe and M. Nagata; ACM Press, pp. 135-139, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Kaltofen, E. and Trager, B., "Computing with polynomials given by black boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominators," J. Symbolic Cornput. 9/3, pp. 301-320 (1990). Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Kaltofen, E., Valente, T., and Yui, N., "An improved Las Vegas primality test," Proc. A CM-SIGSAM 1989 Internat. Syrup. Symbolic Algebraic Comput., pp. 26- 33(1989). Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Lenstra, A. K. and Manasse, M. S., "Factoring by electronic mail," Proc. Eurocrypt '89, Springer Leer. Notes Comput. Sci. 434, (1989). Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Melenk, H. and Neun, W., "REDUCE user's guide for the CRAY 1 / CRAY X-MP series running COS," Tech. Report, K. Zuse Zentrum Berlin, September 1986.Google ScholarGoogle Scholar
  13. Ponder, C. G., "Evaluation of 'Performance Enhancements' in Algebraic Manipulation Systems," Ph.D. Thesis, Comput. Sci. Div. (EECS Dept.), Univ. California at Berkeley, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Roch, J.-L., "Calcul Formel et Parallelism," Doctorate Thesis, Inst. National Polytechnique, Grenoble, France, December 1989. In French.Google ScholarGoogle Scholar
  15. Roch, J.-L., Senechaud, P., Siebert-Roch, F., and Villard, G., "Computer Algebra on a MIMD Machine," Proc. ISSAC '88, Springer Lec. Notes Comput, Sci. 358, pp. 423-439 (1988). Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Saunders, B. D., Lee, H. R., and Abdali, S. K., "A parallel implementation of the cylindrical algebraic decomposition algorithm," Proc. ACM-SIGSAM 1989 Internat. Syrup. Symbolic Algebraic Comput., pp. 298-307 (1989). Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Seitz, S., "Verteiltes Rechnen in SAC-2," Doctoral Dissertation, Univ. Tiibingen, June 1990. In German.Google ScholarGoogle Scholar
  18. Silverman. R. D. and Stuart, S_ J., "A di~tribut~ct batching system for parallel processing," Software-- Practice Experience 19/12, pp. 1163-1174 (1989). Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Sullivan, M. and Anderson, D., "Marionette: a system for parallel distributed programming using a master/slave model," in Proc. 9th Internat. Conf. Distr. Comput. Syst.; IEEE, pp. 181-188, 1989.Google ScholarGoogle ScholarCross RefCross Ref
  20. Watt, S. M., "Bounded Parallelism in Computer Algebra," Ph.D. Thesis, Dept. Comput. Sci., Univ. Waterloo, May 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. DSC: a system for distributed symbolic computation

      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
        ISSAC '91: Proceedings of the 1991 international symposium on Symbolic and algebraic computation
        June 1991
        468 pages
        ISBN:0897914376
        DOI:10.1145/120694

        Copyright © 1991 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: 1 June 1991

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

        Acceptance Rates

        Overall Acceptance Rate395of838submissions,47%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader