An Implementation of the Characteristic Set Method in Maple

  • Dongming Wang
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)


The method of characteristic sets was introduced by J. F. Ritt (1932, 1950) in the context of his work on differential algebra in the early 1930s and was revitalized and further developed by Wen-tsün Wu (1984a, b, 1986) through his recent work on mathematics-mechanization. In addition to being a powerful tool for Wu’s general theory and method of mechanical theorem proving, the characteristic set method has proved efficient for solving a wide class of problems in geometry and algebra (see the series of work in “Mathematics-Mechanization Research Preprints” 1–11, 1987–1994, for example). It has been partially implemented by different research groups in China, USA and Austria (Chou 1988, Ko 1986, Kusche et al. 1989) for geometry theorem proving and solving other relevant problems. The author has learned that an implementation of this method in the Reduce system is ongoing at the University of Bath, England. However, to the best of our knowledge neither a complete implementation exists nor a partial implementation has been generally available in current symbolic and algebraic computation systems. The incompleteness of the existing implementations was mainly due to difficulties in polynomial factorization over successive algebraic extension fields (for which there was a lack of general and efficient procedures) and the determination of prime bases of ideals from their characteristic sets (for which no simple and practical method was available). We have overcome the difficulties through the discovery of a new method for polynomial factorization and the application of Gröbner bases for determining the prime bases.


Decomposition Tree Differential Algebra Polynomial Factorization Characteristic Series Algebraic Number Field 
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. Chou, S. C. (1988): Mechanical geometry theorem proving. Reidel, Dordrecht.MATHGoogle Scholar
  2. Hu, S., Wang, D. M. (1986): Fast factorization of polynomials over rational number field or its extension fields. Kexue Tongbao 31: 150–156.Google Scholar
  3. Ko, H. P. (1986): ALGE-Prover II — a new edition of ALGE-Prover. Corporate Research and Development Tech. Rep. 86CRD081. General Electric, Schenectady, NY.Google Scholar
  4. Kusche, K., Kutzler, B., Mayr, H. (1989): Implementation of a geometry theorem proving package in Scratchpad II. In: Davenport, J. H. (ed.): EUROCAL’ 87. Springer, Berlin Heidelberg New York Tokyo, pp. 246–257 (Lecture notes in computer science, vol. 378).Google Scholar
  5. Ritt, J. F. (1932): Differential equations from the algebraic standpoint. American Mathematical Society, New York.Google Scholar
  6. Ritt, J. F. (1950): Differential algebra. American Mathematical Society, New York.MATHGoogle Scholar
  7. Wang, D. M. (1989a): A generalization of characteristic sets algorithm. Tech. Rep. RISC Linz 89-51.0.Google Scholar
  8. Wang, D. M. (1989b): Characteristic sets and zero structure of polynomial sets. Lecture Notes, RISC Linz.Google Scholar
  9. Wang, D. M. (1992a): Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases. Comput. Aided Geom. Des. 9: 471–484.MATHCrossRefGoogle Scholar
  10. Wang, D. M. (1992b): A method for factorizing multivariate polynomials over successive algebraic extension fields. Preprint, RISC Linz.Google Scholar
  11. Wu, W.-t. (1984a): Basic principles of mechanical theorem proving in elementary geometries. J. Syst. Sci. Math. Sci. 4: 207–235 [also in J. Automat. Reason. 2: 221–252 (1986)].Google Scholar
  12. Wu, W.-t. (1984b): Basic principles of mechanical theorem proving in geometries (part on elementary geometries). Science Press, Beijing (in Chinese); English-language edition, Springer, Wien New York (1994).Google Scholar
  13. Wu, W.-t. (1986): On zeros of algebraic equations — an application of Ritt principle. Kexue Tongbao 31: 1–5.MATHGoogle Scholar
  14. Math. Mech. Res. Preprints (1987–1994) 1–11. MM Research Center, Academia Sinica.Google Scholar

Copyright information

© Springer-Verlag Wien 1995

Authors and Affiliations

  • Dongming Wang

There are no affiliations available

Personalised recommendations