科学研究 >> 科研论著 
 
 
 

  
论  文

  1. Hoon Hong, Liyun Li, Tielin Liang, Dongming Wang: Solving Dynamic Geometric Constraints Involving Inequalities. In: Artificial Intelligence and Symbolic Computation - AISC 2006 Proceedings (J. Calmet, T. Ida, and D. Wang, eds.), LNAI 4120 , Springer-Verlag, Berlin Heidelberg, 2006, pp. 181-195.
  2. Xiaoyu Chen, Dongming Wang: Towards an Electronic Geometry Textbook (Extended Abstract). In: Proceedings of ADG 2006 - Sixth International Workshop on Automated Deduction in Geometry (Pontevedra, Spain, August 31 - September 2, 2006) (F. Botana and E. Roanes-Lozano, eds.), Universidad de Vigo, Spain, 2006, pp. 15-25.
  3. Tielin Liang, Dongming Wang: Geometric Constraint Handling in Gool (Extended Abstract). In: Proceedings of ADG 2006 - Sixth International Workshop on Automated Deduction in Geometry (Pontevedra, Spain, August 31 - September 2, 2006) (F. Botana and E. Roanes-Lozano, eds.), Universidad de Vigo, Spain, 2006, pp. 66-73.
  4. Wei Niu: Application of Quantifier Elimination and Discriminant Varieties to Stability Analysis of Biological Systems. In: Proceeding of the First International Conference on Mathematical Aspects of Computer and Information Sciences (Beijing, China, July 24-26, 2006) (D. Wang and Z. Zheng, eds.), Beihang University, China, 2006, pp. 243-253.
  5. Wei Pan, Dongming Wang: Uniform Gröbner Bases for Ideals Generated by Polynomials with Parametric Exponents. In: Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation (ISSAC 2006) (Genova, Italy, July 9-12, 2006), ACM Press, New York, 2006, pp. 269-276.
  6. Tielin Liang, Dongming Wang: Towards a Geometric-Object-Oriented Language. In: Automated Deduction in Geometry (H. Hong and D. Wang, eds.), LNAI 3763, Springer-Verlag, Berlin Heidelberg, 2006, pp. 130-155.
  7. 杨召强: Gröbner基算法发展概述. In: 科学研究月刊总第13,200512月,pp. 32-34.
  8. Dongming Wang: Computational Polynomial Algebra and Its Biological Applications (invited tutorial). In: Algebraic Biology 2005 - Computer Algebra in Biology (Proceedings of the First International Conference, Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.), Universal Academy Press, Inc., Tokyo, 2005, pp. 127-137.
  9. Dongming Wang, Bican Xia: Algebraic Analysis of Stability for Some Biological Systems. In: Algebraic Biology 2005 - Computer Algebra in Biology (Proceedings of the First International Conference, Tokyo, Japan, November 28-30, 2005) (H. Anai and K. Horimoto, eds.), Universal Academy Press, Inc., Tokyo, 2005, pp. 75-83.
  10. Dongming Wang, Bican Xia: Stability Analysis of Biological Systems with Real Solution Classification. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC 2005) (Beijing, China, July 24-27, 2005), ACM Press, New York, 2005, pp. 354-361.
  11. Dongming Wang: The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems. In: Algorithmic Algebra and Logic - Proceedings of the A3L 2005 (A. Dolzmann, A. Seidl, and T. Sturm, eds.), Herstellung und Verlag, Norderstedt, 2005, pp. 269-274.
  12. Meng Jin: Computing Gröbner Bases of Polynomial Ideals Using Wu's Method. In: Proceedings of SNC 2005 - International Workshop on Symbolic-Numeric Computation (Xi'an, China, July 19-21, 2005) (D. Wang and L. Zhi, eds.), Beihang University, China, 2005, pp. 237-249.
  13. Dongming Wang: Implicitization and Offsetting via Regular Systems. In: Geometric Computation (F. Chen and D. Wang, eds.), World Scientific, Singapore New Jersey, 2004, pp. 156-176.
  14. Dongming Wang: GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. In: Automated Deduction in Geometry (F. Winkler, ed.), LNAI 2930, Springer-Verlag, Berlin Heidelberg, 2004, pp. 194-215.
  15. Dongming Wang: A Simple Method for Implicitizing Rational Curves and Surfaces. Journal of Symbolic Computation 38 (2004): 899-914.

<著 作> <论 文