On the parallelization of characteristic-set-based algorithms

  • Dongming Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 591)


This paper presents a parallelized version of algorithms for computing characteristic sets, characteristic series and irreducible characteristic series of sets of multivariate polynomials, decomposing algebraic varieties into irreducible components and proving theorems mechanically in elementary geometries. These algorithms have been implemented with up to 12 processors in MAPLE system by utilizing distributed workstations connected by a local network. The timing statistics on a set of test problems with remarks is given. The encountered problems of using parallelism for these algorithms are discussed.


Algebraic Variety Garbage Collection Sequential Algorithm Decomposition Tree Parallel Processor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Chou, S. C. and Gao, X. S., Techniques for Ritt-Wu's Decomposition Algorithm, Technical Report TR-90-2, Department of Computer Sciences, University of Texas at Austin, 1990.Google Scholar
  2. [2]
    Hodge W. V. D. and Pedoe, D., Methods of Algebraic Geometry, Vol. I, II, Cambridge University Press, Cambridge, 1947/1952.Google Scholar
  3. [3]
    Ritt, J. F., Differential Equations from the Algebraic Standpoint, Amer. Math. Soc., New York, 1932.Google Scholar
  4. [4]
    Ritt, J. F., Differential Algebra, Amer. Math. Soc., New York, 1950.Google Scholar
  5. [5]
    Wang, D. M., Characteristic Sets and Zero Structure of Polynomial Sets, Lecture Notes, RISC-LINZ, Johannes Kepler University, Austria, 1989.Google Scholar
  6. [6]
    Wang, D. M., Some Notes on Algebraic Methods for Geometry Theorem Proving, Preprint, RISC-LINZ, Johannes Kepler University, November 1990.Google Scholar
  7. [7]
    Wang, D. M., An Implementation of Characteristic Sets Method in MAPLE, RISC-Linz Series no. 91-25.0, Johannes Kepler University, Austria, May 1991.Google Scholar
  8. [8]
    Wu, W. T., Basic Principles of Mechanical Theorem Proving in Elementary Geometries, J. Sys. Sci. & Math. Scis., 4(1984), 207–235; J. Automated Reasoning, 2 (1986), 221–252.Google Scholar
  9. [9]
    Wu, W. T., Basic Principles of Mechanical Theorem Proving in Geometries (Part on elementary geometries, in Chinese), Science Press, Beijing, 1984.Google Scholar
  10. [10]
    Wu, W. T., Some Recent Advances in Mechanical Theorem-Proving of Geometries, Automated Theorem Proving: After 25 years, Contemp. Math., 29(1984), AMS, 235–242.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Dongming Wang
    • 1
    • 2
  1. 1.Research Institute for Symbolic ComputationJoh Kepler UniversityLinzAustria
  2. 2.Mathematics-Mechanization Research CenterAcademia SinicaBeijingChina

Personalised recommendations