Selected Publications

    Books and Special Issues:

  1. Mathematics Mechanization and Applications (edited with Xiao-Shan Gao). Academic Press, London, 2000.
  2. Elimination Methods. Springer-Verlag, Wien New York, 2000.
  3. Proceedings of the Fourth Asian Technology Conference in Mathematics (edited with Wei-Chi Yang, Sung-Chi Chu and Gary Fitz-Gerald), ATCM, Inc., USA, 1999.
  4. Automated Deduction in Geometry - ADG '98 Proceedings (edited with Xiao-Shan Gao and Lu Yang). LNAI 1669. Springer-Verlag, Berlin Heidelberg, 1999.
  5. Polynomial Elimination: Algorithms and Applications - Special issue of the Journal of Symbolic Computation (edited with Michael Kalkbrener). Academic Press, London, 1999.
  6. Computer Algebra and Automated Theorem Proving - Special issue of the Journal of Automated Reasoning (edited with Deepak Kapur). Kluwer Academic Publishers, Boston Dordrecht London, 1998.
  7. Automated Deduction in Geometry (edited in cooperation with Ricardo Caferra, Luis Fariñas del Cerro and He Shi). LNAI 1360. Springer-Verlag, Berlin Heidelberg, 1997.
  8. Automated Practical Reasoning: Algebraic Approaches (edited with Jochen Pfalzgraf). Springer-Verlag, Wien New York, 1995.
  9. Algebraic Approaches to Geometric Reasoning - Special issue of the Annals of Mathematics and Artificial Intelligence (edited with Hoon Hong and Franz Winkler). Baltzer Science Publishers, Amsterdam, 1995.
  10. Mechanical Theorem Proving in Geometries: Basic Principles by Wen-tsün Wu (translated from the Chinese with Xiaofan Jin). Springer-Verlag, Wien New York, 1994.

    Journal Papers:

  11. Computing Triangular Systems and Regular Systems. Journal of Symbolic Computation (to appear).
  12. Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving (with Stéphane Fèvre). Fundamenta Informaticae 39(1-2) (1999) 85-104.
  13. Polynomial Systems from Certain Differential Equations. Journal of Symbolic Computation 28(1-2) (1999) 303-315.
  14. Coherent, Regular and Simple Systems in Zero Decompositions of Partial Differential Systems (invited paper, with Ziming Li). Systems Science and Mathematical Sciences 12(Suppl.) (1999) 43-60.
  15. Unmixed and Prime Decomposition of Radicals of Polynomial Ideals. ACM SIGSAM Bulletin 32(4) (1998) 2-9.
  16. Decomposing Polynomial Systems into Simple Systems. Journal of Symbolic Computation 25 (1998) 295-314.
  17. An Elimination Method for Differential Polynomial Systems I. Systems Science and Mathematical Sciences 9(3) (1996) 216-228.
  18. Solving Polynomial Equations: Characteristic Sets and Triangular Systems. Mathematics and Computers in Simulation 42(4-6) (1996) 339-351.
  19. A Method for Proving Theorems in Differential Geometry and Mechanics. Journal of Universal Computer Science 1(9) (1995) 658-673.
  20. Elimination Procedures for Mechanical Theorem Proving in Geometry. Annals of Mathematics and Artificial Intelligence 13 (1995) 1-24.
  21. Differentiation and Integration of Indefinite Summations with Respect to Indexed Variables - Some Rules and Applications. Journal of Symbolic Computation 18 (1994) 249-263.
  22. An Elimination Method for Polynomial Systems. Journal of Symbolic Computation 16 (1993) 83-114.
  23. Computer Aided Analysis and Derivation for Artificial Neural Systems (with Bernd Schürmann). IEEE Transactions on Software Engineering 18(8) (1992) 728-735.
  24. Irreducible Decomposition of Algebraic Varieties via Characteristic Sets and Gröbner Bases. Computer Aided Geometric Design 9 (1992) 471-484.
  25. Machine Treatment of Problems for a Class of Differential Equations (in Chinese). Acta Mathematica Scientia 12(4) (1992) 389-396.
  26. The Structure of LaSalle's Invariant Set of Lotka-Volterra Systems (with Li Liu and Zhengyi Lu). Science in China (Ser. A) 34(7) (1991) 783-790.
  27. Mechanical Manipulation for a Class of Differential Systems. Journal of Symbolic Computation 12 (1991) 233-254.
  28. Mechanical Manipulation for LaSalle's Invariant Sets of Lotka-Volterra Systems (extended abstract, with Li Liu and Zhengyi Lu). Advances in Mathematics 19 (1990), 249-250.
  29. On the Conditions of Kukles for the Existence of a Centre (with Xiaofan Jin). Bulletin of London Mathematical Society 22 (1990) 1-4.
  30. A Class of Cubic Differential Systems with 6-tuple Focus. Journal of Differential Equations 87 (1990) 305-315.
  31. A Program for Computing the Liapunov Functions and Liapunov Constants in Scratchpad II. ACM SIGSAM Bulletin 23(4) (1989) 25-31.
  32. A New Theorem Discovered by Computer Prover. Journal of Geometry 36 (1989) 173-182.
  33. Proving-by-Examples Method and Inclusion of Varieties. Kexue Tongbao (Science Bulletin) 33(24) (1988) 2015-2018.
  34. A Mechanical Proving System for Constructible Theorems in Elementary Geometry (in Chinese, with Sen Hu). J. Sys. Sci. & Math. Scis. 7 (1987) 163-172.
  35. Fast Factorization of Polynomials over Rational Number Field or Its Extension Fields (with Sen Hu). Kexue Tongbao 31 (1986) 150-156.

    Papers in Proceedings and Books:

  36. Some Algorithms for Zero Decomposition of Polynomial Systems. In: Mathematics Mechanization and Applications (X.-S. Gao and D. Wang, eds.), Academic Press, London (to appear in 2000) [A French version entitled "Algorithmes d'élimination pour systèmes de polynômes" is available as http://www-leibniz.imag.fr/ATINF/Dongming.Wang/resume_etendu.ps.gz].
  37. Decomposing Algebraic Varieties. In: Automated Deduction in Geometry (X.-S. Gao, D. Wang and L. Yang, eds.), LNAI 1669, Springer-Verlag, Berlin Heidelberg, 1999, pp. 180-206.
  38. Clifford Term Rewriting for Geometric Reasoning in 3D (with Thierry Boy de la Tour and Stéphane Fèvre). In: Automated Deduction in Geometry (X.-S. Gao, D. Wang and L. Yang, eds.), LNAI 1669, Springer-Verlag, Berlin Heidelberg, 1999, pp. 130-155.
  39. Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving (with Stéphane Fèvre). In: Proceedings of 4th International Conference on Artificial Intelligence and Symbolic Computation (AISC '98) (Plattsburgh, USA, September 16-18, 1998), LNAI 1476, pp. 145-156.
  40. Algebraic Factorization Applied to Geometric Problems (with Lihong Zhi). In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM '98) (Lanzhou, China, August 6-8, 1998), pp. 23-36.
  41. Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules (with Stéphane Fèvre). In: Proceedings of the 15th International Conference on Automated Deduction (CADE-15) (Lindau, Germany, July 5-10, 1998), LNAI 1421, pp. 17-32.
  42. Gröbner Bases Applied to Geometric Theorem Proving and Discovering (invited tutorial). In: Gröbner Bases and Applications (Proceedings of the International Conference "33 Years of Gröobner Bases", B. Buchberger and F. Winkler, eds.), Cambridge University Press, Cambridge, 1998, pp. 281-301.
  43. Clifford Algebraic Calculus for Geometric Reasoning with Application to Computer Vision. In: Automated Deduction in Geometry (D. Wang, ed.), LNAI 1360, Springer-Verlag, Berlin Heidelberg, 1997, pp. 115-140.
  44. Geometry Machines: From AI to SMC (invited paper). In: Proceedings of the 3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3) (Steyr, Austria, September 23-25, 1996), LNCS 1138, pp. 213-239.
  45. GEOTHER: A Geometry Theorem Prover. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13) (New Brunswick, USA, July 30 - August 3, 1996), LNAI 1104, pp. 166-170.
  46. Geometry Theorem Proving with Existing Technology. In: Proceedings of the 1st Asian Technology Conference in Mathematics (ATCM '95) (Singapore, December 18-21, 1995), pp. 561-570.
  47. A Method for Solving Algebraic Systems Based on Subresultant PRS. In: Proceedings of the Asian Symposium on Computer Mathematics (ASCM '95) (Beijing, China, August 18-20, 1995), pp. 55-69.
  48. Zero Decomposition for Theorem Proving in Geometry (extended abstract). In: Electronic Proceedings of the 1st International IMACS Conference on Applications of Computer Algebra (Albuquerque, USA, May 16-20, 1995), available via WWW (http://math.unm.edu/ACA/1995.html).
  49. Reasoning about Geometric Problems Using an Elimination Method. In: Automated Practical Reasoning: Algebraic Approaches (J. Pfalzgraf and D. Wang, eds.), Springer-Verlag, Wien New York, 1995, pp. 147-185.
  50. An Implementation of the Characteristic Set Method in Maple. In: Automated Practical Reasoning: Algebraic Approaches (J. Pfalzgraf and D. Wang, eds.), Springer-Verlag, Wien New York, 1995, pp. 187-201.
  51. Algebraic Factoring and Geometry Theorem Proving. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12) (Nancy, June 28 - July 1, 1994), LNAI 814, pp. 386-400.
  52. An Elimination Method Based on Seidenberg's Theory and Its Applications. In: Computational Algebraic Geometry (F. Eyssette and A. Galligo, eds.), Progress in Mathematics 109 (1993), Birkhäuser, Boston, pp. 301-328.
  53. Automatic Generation of C++ Code for Neural Network Simulation (with Stephan Dreiseitl). In: Proceedings of the International Workshop on Artificial Neural Networks (IWANN '93) (Sitges, Spain, June 9-11, 1993), LNCS 686, pp. 358-363.
  54. A Strategy for Speeding-up the Computation of Characteristic Sets. In: Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science (MFCS '92) (Prague, Czechoslovakia, August 24-28, 1992), LNCS 629, pp. 504-510.
  55. Some Improvements on Wu's Method for Solving Systems of Algebraic Equations. In: Proceedings of the 1992 International Workshop on Mathematics Mechanization (Beijing, China, July 16-18, 1992), pp. 89-100.
  56. Computer Algebra and Neurodynamics (with Bernd Schürmann). In: Proceedings of the "Arbeitsgespräch Physik und Informatik - Informatik und Physik" (Munich, Germany, November 21-22, 1991), pp. 304-317.
  57. Computer Aided Investigations of Artificial Neural Systems (with Bernd Schürmann). In: Proceedings of the International Joint Conference on Neural Networks (IJCNN '91) (Singapore, November 18-21, 1991), pp. 2325-2330.
  58. On the Parallelization of Characteristic-Set-Based Algorithms. In: Proceedings of the 1st International ACPC Conference (Salzburg, Austria, September 30 - October 2, 1991), LNCS 591, pp. 338-349.
  59. A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks (application report). In: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation (ISSAC '91) (Bonn, Germany, July 15-17, 1991), pp. 462-463; Full paper in ACM SIGSAM Bulletin 25(3) (1991) 18-27.
  60. On Wu's Method for Proving Constructive Geometric Theorems. In: Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI-89) (Detroit, USA, August 20-25, 1989), pp. 419-424.
  61. Computer Algebraic Methods for Investigating Plane Differential Systems of Center and Focus Type. In: Computers and Mathematics (MIT, USA, June 13-17, 1989), Springer-Verlag, New York Berlin, pp. 91-99.
Maintained by Dongming Wang
Last Modification: January 10, 2000