Parsac-2: Parallel Computer Algebra On The Desk-Top

We give an introduction to programming methods, software systems, and algorithms , suitable for parallelizing Computer Algebra on modern multiprocessor workstations. As concrete examples we present multi-threaded programming and its use in the PARSAC-2 system for parallel symbolic computation, and we present some examples of parallel algorithms useful for solving systems of polynomial equations.

[1]  George E. Collins,et al.  The Calculation of Multivariate Polynomial Resultants , 1971, JACM.

[2]  Erich Kaltofen,et al.  DSC: a system for distributed symbolic computation , 1991, ISSAC '91.

[3]  Carl Ponder,et al.  Parallelism and algorithms for algebraic manipulation: current work , 1988, SIGS.

[4]  Wolfgang Küchlin.  A space-efficient parallel garbage compaction algorithm , 1991, ICS '91.

[5]  Richard Zippel,et al.  Probabilistic algorithms for sparse polynomials , 1979, EUROSAM.

[6]  Wolfgang Küchlin,et al.  Experiments with Virtual C Threads , 1992, [1992] Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing.

[7]  S. Watt.  Bounded parallelism in computer algebra , 1986 .

[8]  W. S. Brown.  On Euclid's algorithm and the computation of polynomial greatest common divisors , 1971, SYMSAC '71.

[9]  Drexel UniversityPhiladelphia,et al.  Some Experiments with Parallel Bignum Arithmeticy , 1994 .

[10]  Allan Gottlieb,et al.  Highly parallel computing , 1989, Benjamin/Cummings Series in computer science and engineering.

[11]  Wolfgang Küchlin,et al.  Parallel ReDuX -> PaReDuX , 1995, RTA.

[12]  B. Buchberger.  An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[13]  Jean-Louis Roch.  Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle. (Computer algebra and parallelism: pac system architecture and rationnal arithmetic) , 1989 .

[14]  Wolfgang Küchlin,et al.  On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors , 1991, ACPC.

[15]  Paul S. Wang,et al.  Parallel univariate polynomial factorization on shared-memory multiprocessors , 1990, ISSAC '90.

[16]  Paul S. Wang,et al.  Parallelization of the sparse modular GCD algorithm for multivariate polynomials on shared memory multiprocessors , 1994, ISSAC '94.

[17]  Robert H. Halstead,et al.  MULTILISP: a language for concurrent symbolic computation , 1985, TOPL.

[18]  Wolfgang Küchlin,et al.  A fine-grained parallel completion procedure , 1994, ISSAC '94.

[19]  Wolfgang Küchlin,et al.  On multi-threaded list-processing and garbage collection , 1991, Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing.

[20]  Wolfgang Küchlin,et al.  PARSAC-2: A Parallel SAC-2 Based on Threads , 1990, AAECC.

[21]  David Y. Y. Yun,et al.  The EZ GCD algorithm , 1973, ACM Annual Conference.

[22]  Peter A. Buhr,et al.  The μsystem: Providing light‐weight concurrency on shared‐memory multiprocessor computers running UNIX , 1990, Softw. Pract. Exp..

[23]  Kurt Siegl.  A Parallel Factorization Tree Gr?bner Basis Algorithm , 1994 .

[24]  Robert H. Halstead,et al.  Lazy task creation: a technique for increasing the granularity of parallel programs , 1990, LISP and Functional Programming.

[25]  Richard Zippel,et al.  Interpolating Polynomials from Their Values , 1990, J. Symb. Comput..

[26]  B. David Saunders,et al.  A parallel implementation of the cylindrical algebraic decomposition algorithm , 1989, ISSAC '89.

[27]  Stephen M. Watt.  A System for Parallel Computer Algebra Programs , 1985, European Conference on Computer Algebra.

[28]  Bruno Buchberger,et al.  Parallel Processing: CONPAR 94 — VAPP VI , 1994, Lecture Notes in Computer Science.

[29]  E. W. Ng.  Symbolic and Algebraic Computation , 1979, Lecture Notes in Computer Science.

[30]  Kurt Siegl,et al.  Parallelizing algorithms for symbolic computation using MAPLE , 1993, PPOPP '93.

[31]  Wolfgang Küchlin,et al.  Parallel Real Root Isolation Using the Coefficient Sign Variation Method , 1990, CAP.

[32]  Richard E. Zippel,et al.  Computer Algebra and Parallelism , 1992 .

[33]  Hoon Hong.  First International Symposium on Parallel Symbolic Computation, PASCO '94, Hagenberg/Linz, Austria, September 26-28, 1994 , 1994 .

[34]  Stephen R. Czapor,et al.  Solving Algebraic Equations: Combining Buchberger's Algorithm with Multivariate Factorization , 1989, J. Symb. Comput..

[35]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[36]  Hoon Hong,et al.  The Design of the SACLIB/PACLIB Kernels , 1995, J. Symb. Comput..

[37]  Todd C. Torgersen.  Distributing symbolic computations on a network of workstations , 1994 .

[38]  James H. Davenport,et al.  Computer Algebra: Systems and Algorithms for Algebraic Computation , 1988 .

[39]  Carl Glen Ponder.  Evaluation of performance enhancements in algebraic manipulation systems , 1988 .

[40]  Carl Ponder,et al.  Parallel processors and systems for algebraic manipulation: current work , 1988, SIGS.

[41]  Bruno Buchberger,et al.  Computer algebra symbolic and algebraic computation , 1982, SIGS.

[42]  Giuseppe Attardi,et al.  Strategy-Accurate Parallel Buchberger Algorithms , 1996, J. Symb. Comput..

[43]  Winfried Neun,et al.  Very Large Gröbner Basis Calculations , 1990, CAP.

[44]  Wolfgang Küchlin,et al.  On the multi-threaded computation of integral polynomial greatest common divisors , 1991, ISSAC '91.

[45]  J. D. Lipson.  Elements of algebra and algebraic computing , 1981 .

[46]  Carlo Traverso,et al.  “One sugar cube, please” or selection strategies in the Buchberger algorithm , 1991, ISSAC '91.

[47]  Carl Ponder.  Parallel Multiplication and Powering of Polynomials , 1991, J. Symb. Comput..

[48]  Jacques Calmet,et al.  Computer Algebra Systems , 1983 .

[49]  James R. Savage.  Parallel Algorithm Development with the Myrias Parallel Memory Model , 1988 .

[50]  Jean Della Dora,et al.  Computer Algebra and Parallelism , 1989, Lecture Notes in Computer Science.

[51]  Wolfgang Küchlin,et al.  The S-Threads Environment for Parallel Symbolic Computation , 1990, CAP.

[52]  Morio Nagata,et al.  Proceedings of the international symposium on Symbolic and algebraic computation , 1990 .

[53]  Wolfgang Küchlin,et al.  Integer Multiplication in PARSAC-2 on Stock Microprocessors , 1991, AAECC.

[54]  Paul S. Wang.  Parallel univariate p-adic lifting on shared-memory multiprocessors , 1992, ISSAC '92.

[55]  Hans-Wolfgang Loidl,et al.  Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine , 1994, CONPAR.

[56]  Carl H. Hauser,et al.  The portable common runtime approach to interoperability , 1989, SOSP '89.

[57]  Vaidy S. Sunderam,et al.  PVM: A Framework for Parallel Distributed Computing , 1990, Concurr. Pract. Exp..

[58]  Steffen Seitz.  Algebraic Computing on a Local Net , 1990, CAP.

[59]  Wolfgang Schreiner.  Virtual Tasks for the PACLIB Kernel , 1994, CONPAR.

[60]  Hoon Hong,et al.  The Design of the PACLIB Kernel for Parallel Algebraic Computation , 1993, ACPC.

[61]  T. Doeppner.  Threads a System for the Support of Concurrent Programming Threads − − a System for the Support of Concurrent Programming , 1987 .

[62]  Bruce W. Char.  Progress report on a system for general-purpose parallel symbolic algebraic computation , 1990, ISSAC '90.

[63]  D. Skillicom.  Architecture-independent parallel computation , 1990 .

[64]  Paul S. Wang,et al.  The EEZ-GCD algorithm , 1980, SIGS.

[65]  Jean-Louis Roch.  An Environment for Parallel Algebraic Computation , 1990, CAP.

[66]  Robert H. Halstead,et al.  Parallel Symbolic Computing , 1986, Computer.

[67]  Winfried Neun,et al.  Parallel Polynomial Operations in the Buchberger Algorithm. , 1988 .

[68]  Keith O. Geddes,et al.  Algorithms for computer algebra , 1992 .