4 PhD graduated 2011 - 2013

2000-2016 Publications

• 2016
  • D. Wang : “On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases”, Mathematics in Computer Science, vol. 10 (4), pp. 479–492, (Springer) (2016)
• 2014
  • J. Yang, D. Wang, H. Hong : “ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves”, 10^th Asian Symposium on Computer Mathematics, Computer Mathematics, Beijing, China, pp. 437-451, (Springer) (2014)
  • X. Li, D. Wang : “Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification”, Journal of Mathematical Economics, vol. 54, pp. 48-58, (Elsevier) (2014)
• 2013
  • X. Chen, D. Wang, X. Zhang : “Foreword to the Special Focus on Mathematics, Data and Knowledge”, Mathematics in Computer Science, vol. 7 (4), Special Focus on Mathematics, Data and Knowledge, pp. 379-386, (Springer) (2013)
  • Ch. Mou, D. Wang, X. Li : “Decomposing polynomial sets into simple sets over finite fields: The positive-dimensional case”, Theoretical Computer Science, vol. 468, pp. 102-113, (Elsevier) (2013)
  • D. Wang : “Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management”, ADG 2012 - 9^th International Workshop Automated Deduction in Geometry, vol. 7993, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 31-32, (Springer) (2013)
  • J. Yang, D. Wang, H. Hong : “Improving Angular Speed Uniformity by C¹ Piecewise Reparameterization”, ADG 2012: Automated Deduction in Geometry, vol. 7993, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 33-47, (Springer) (2013)
  • H. Hong, D. Wang, J. Yang : “A Framework for Improving Uniformity of Parameterizations of Curves”, Science China Information Sciences, vol. 56 (10), pp. 108101:1-108101:22, (Springer) (2013)
  • M. Jin, X. Li, D. Wang : “A new algorithmic scheme for computing characteristic sets”, Journal of Symbolic Computation, vol. 50, pp. 431-449, (Elsevier) (2013)
  • X. Chen, D. Wang : “Formalization and Specification of Geometric Knowledge Objects”, Mathematics in Computer Science, vol. 7 (4), Special Focus on Mathematics, Data and Knowledge, pp. 439-454, (Springer) (2013)
  • J. Yang, D. Wang, H. Hong : “Improving Angular Speed Uniformity by Reparameterization”, Computer Aided Geometric Design, vol. 30 (7), pp. 636-652, (Elsevier) (2013)
• 2012
  • X. Chen, D. Wang, T. Zhao : “GeoText: An Intelligent Dynamic Geometry Textbook (Extended Abstract)”, ACM Communications in Computer Algebra, vol. 46 (4), pp. 171-175, (Association for Computing Machinery (ACM)) (2012)
  • W. Niu, D. Wang : “Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System”, Applied Mathematics and Computation, vol. 219 (1), pp. 108-121, (Elsevier) (2012)
  • J. Yang, D. Wang, H. Hong : “Improving Angular Speed Uniformity by Optimal C⁰ Piecewise Reparameterization”, CASC 2012: Computer Algebra in Scientific Computing, vol. 7442, Lecture Notes in Computer Science, Maribor, Slovenia, pp. 349-360, (Springer) (2012)
  • X. Chen, W. Li, J. Luo, D. Wang : “Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence (project description)”, Lecture Notes In Computer Science, vol. 7362, CICM 2012: Intelligent Computer Mathematics, Bremen, Germany, pp. 432-437, (Springer) (2012)
  • T. Zhao, D. Wang, H. Hong, Ph. Aubry : “Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints”, 27^th Annual ACM Symposium on Applied Computing (SAC 2012), Trento, Italy, pp. 94-101 (2012)
  • D. Wang : “Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems”, International Journal of Control, vol. 85 (10), pp. 1414-1421, (Taylor & Francis) (2012)
  • X. Chen, D. Wang : “Management of Geometric Knowledge in Textbooks”, Data and Knowledge Engineering, vol. 73, pp. 43-57, (Elsevier) (2012)
  • X. Li, D. Wang : “Simple Decomposition of Polynomial Sets over Finite Fields”, Journal of Systems Science and Mathematical Sciences, vol. 32 (1), pp. 15-26, (Kexue Chubanshe) (2012)
• 2011
  • Y. Huang, D. Wang : “Computing Intersection and Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Gröbner Bases”, Computer Aided Geometric Design, vol. 28 (9), pp. 566-581, (Elsevier) (2011)
  • X. Li, Ch. Mou, W. Niu, D. Wang : “Stability Analysis for Discrete Biological Models Using Algebraic Methods”, Mathematics in Computer Science, vol. 5 (3), pp. 247-262, (Springer) (2011)
  • T. Zhao, D. Wang, H. Hong : “Solution Formulas for Cubic Equations Without or With Constraints”, Journal of Symbolic Computation, vol. 46 (8), pp. 904-918, (Elsevier) (2011)
  • D. Wang : “Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics”, Aeronautical Journal -New Series-, vol. 115 (1168), pp. 345-349, (Royal Aeronautical Society) (2011)
  • D. Wang, Ch. Mou, X. Li, J. Yang, M. Jin, Y. Huang : “Polynomial Algebra (in Chinese)”, 1-374 pages, (Higher Education Press), (ISBN: 9787040316988) (2011)
  • D. Wang, V. Negru, T. Ida, T. Jebelean, D. Petcu, Stephen M. Watt, D. Zaharie : “Proceedings of the 13^th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2011)”, pp. 1-414, (IEEE), (ISBN: 978-0-7695-4630-8) (2011)
• 2010
  • X. Li, Ch. Mou, D. Wang : “Decomposing polynomial sets into simple sets over finite fields: The zero-dimensional case”, Computers & Mathematics with Applications, vol. 60 (11), pp. 2983-2997, (Elsevier) (2010)
  • D. Wang, X.‑Sh. Gao, Zh. Liu, Z. Li : “A Review of the Development of Mathematics Mechanization (in {Chinese})”, Wen-tsün Wu and Chinese Mathematics, Singapore, Singapore, pp. 221-233, (Global Publishing) (2010)
• 2009
  • X. Li, Ch. Mou, W. Niu, D. Wang : “Stability Analysis for Discrete Biological Models Using Algebraic Methods”, Proceedings of the Joint Conference of ASCM 2009 and MACIS 2009, vol. 22, COE Lecture Note Series, Fukuoka, Japan, pp. 382-385, (Kyushu University) (2009)
  • D. Wang : “Basic Elements of Computer Geometry”, SCSS 2009: Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science, Gammarth, Tunisia, pp. 2-12, (EasyChair) (2009)
  • Y. Huang, D. Wang : “Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and {Gröbner} Bases”, SYNASC 2009: Proceedings of the 11^th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, pp. 28-36, (IEEE) (2009)
  • D. Wang : “Formalization and Specification of Geometric Knowledge Objects”, AWFS 2009: Proceedings of the Sixth Asian Workshop on Foundations of Software, Tokyo, Japan, pp. 86-98, (National Institute of Informatics) (2009)
• 2008
  • W. Niu, D. Wang : “Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems”, Proceedings of the 3^rd International Conference on Algebraic Biology (Hagenberg, Austria, July 31-August 2, 2008), vol. 5147, Lecture Notes in Computer Science, Hagenberg, Austria, pp. 156-171, (Springer-Verlag) (2008)
  • W. Niu, D. Wang : “Algebraic approaches to stability analysis of biological systems”, Mathematics in Computer Science, vol. 1 (3), pp. 507-539, (Springer) (2008)
  • T. Ida, Q. Jiang, D. Wang : “Foundations of Software”, Frontiers of Computer Science in China, vol. 2, pp. 1-93 (2008)
• 2007
  • T. Liang, D. Wang : “On the Design and Implementation of a Geometric-Object-Oriented Language”, Frontiers of Computer Science in China, vol. 1 (2), pp. 180-190 (2007)
  • D. Wang, L. Zhi : “Symbolic-Numeric Computation”, Trends in Mathematics, (Birkhuser), (ISBN: 978-3-7643-7983-4) (2007)
• 2006
  • H. Hong, L. Li, T. Liang, D. Wang : “Solving Dynamic Geometric Constraints Involving Inequalities”, Proceedings of the 8^th International Conference on Artificial Intelligence and Symbolic Computation, vol. 4120, Lecture Notes in Artificial Intelligence, Beijing, China, pp. 181-195, (Springer-Verlag) (2006)
  • T. Liang, D. Wang : “Geometric Constraint Handling in Gool (Extended Abstract)”, Proceedings of the 6^th International Workshop on Automated Deduction in Geometry, Pontevedra, Spain, pp. 66-73, (Universidad de Vigo) (2006)
  • X. Chen, D. Wang : “Towards an Electronic Geometry Textbook (Extended Abstract)”, Proceedings of the 6^th International Workshop on Automated Deduction in Geometry, vol. 4869, Lecture Notes in Computer Science, Pontevedra, Spain, pp. 1-23, (Springer) (2006)
  • W. Pan, D. Wang : “Uniform Gröbner Bases for Ideals Generated by Polynomials with Parametric Exponents”, Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, Genova, Italy, pp. 269-276, (ACM Press) (2006)
  • T. Liang, D. Wang : “Towards a Geometric-Object-Oriented Language”, Automated Deduction in Geometry, vol. 3763, Lecture Notes in Artificial Intelligence, Gainesville, FL, United States, pp. 130-155, (Springer-Verlag) (2006)
  • J. Calmet, T. Ida, D. Wang : “Artificial Intelligence and Symbolic Computation”, vol. 4120, Lectures Notes in Artificial Intelligence, (Springer-Verlag), (ISBN: 978-3-540-39728-1) (2006)
  • H. Hong, D. Wang : “Automated Deduction in Geometry”, vol. 3763, Lecture Notes in Artificial Intelligence, (Springer-Verlag) (2006)
• 2005
  • D. Wang : “Computer Algebra and Automated Deduction: A Brief Introduction”, ASCM 2005 - 7^th Asian Symposium on Computer Mathematics, Seoul, Korea, Republic of, pp. 22-23, (KIAS) (2005)
  • D. Wang, B. Xia : “Algebraic Analysis of Stability for Some Biological Systems”, Algebraic Biology 2005 - Computer Algebra in Biology, Tokyo, Japan, pp. 75-83, (Universal Academy Press, Inc.) (2005)
  • D. Wang : “Computational Polynomial Algebra and Its Biological Applications”, Algebraic Biology 2005 - Computer Algebra in Biology, Tokyo, Japan, pp. 127-137, (Universal Academy Press, Inc.) (2005)
  • D. Wang, B. Xia : “Stability Analysis of Biological Systems with Real Solution Classification”, ISSAC 2005 - International Symposium on Symbolic and Algebraic Computation, Beijing, China, pp. 354-361, (ACM Press) (2005)
  • D. Wang : “The Projection Property of Regular Systems and Its Application to Solving Parametric Polynomial Systems”, A3L 2005 - Algorithmic Algebra and Logic 2005, Passau, Germany, pp. 269-274, (Herstellung und Verlag) (2005)
  • D. Wang, Zh. Zheng : “Differential Equations with Symbolic Computation”, Trends in Mathematics, (Birkhuser) (2005)
• 2004
  • D. Wang : “A Simple Method for Implicitizing Rational Curves and Surfaces”, Journal of Symbolic Computation, vol. 38 (1), pp. 899-914, (Elsevier) (2004)
  • D. Wang : “Implicitization and Offsetting via Regular Systems”, chapter in Geometric Computation, vol. 11, Lecture Notes Series on Computing, pp. 156-176, (World Scientific) (2004)
  • D. Wang, B. Xia : “Computer Algebra”, (Tsinghua University Press) (2004)
  • D. Wang : “Elimination Practice, Software Tools and Applications”, (Imperial College Press), (ISBN: 1-86094-438-8) (2004)
  • F. Chen, D. Wang : “Geometric Computation”, 424 pages, (World Scientific) (2004)
• 2003
  • D. Wang : “GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically”, The Fourth International Workshop on Automated Deduction in Geometry - ADG 2002, vol. 2930, Lecture Notes in Computer Science, Hagenberg Castle, Austria, pp. 194-215, (Springer-Verlag) (2003)
  • D. Wang : “Automated Generation of Diagrams with Maple and Java”, chapter in Algebra, Geometry, and Software Systems, pp. 277-287, (Springer-Verlag) (2003)
  • D. Wang, B. Xia : “Computer Algebra”, chapter in Selected Lectures in Symbolic Computation, pp. 1-55, (Tsinghua University Press) (2003)
  • D. Wang : “Selected Lectures in Symbolic Computation”, (Tsinghua University Press) (2003)
• 2001
  • X. Hou, H. Li, D. Wang, L. Yang : “"Russian Killer’’ No. 2: A Challenging Geometric Theorem with Human and Machine Proofs”, The Mathematical Intelligencer, vol. 23 (1), pp. 9-15, (Springer Verlag) (2001)
  • D. Wang : “A Generalized Algorithm for Computing Characteristic Sets”, The Fifth Asian Symposium on Computer Mathematics - ASCM'2001, vol. 9, Lecture Notes Series on Computing, Matsuyama, Japan, pp. 165-174, (World Scientific Publishing Co.) (2001)
  • Ph. Aubry, D. Wang : “Reasoning about Surfaces Using Differential Zero and Ideal Decomposition”, Automated Deduction in Geometry, vol. 2061, Lecture Notes in Computer Science, Zurich, Switzerland, pp. 154-174, (Springer Berlin Heidelberg) (2001)
  • D. Wang, D. Lin : “A Method for Multivariate Polynomial Factorization over Successive Algebraic Extension Fields”, chapitre de Mathematics and Mathematics-Mechanization, pp. 138-172, (Shandong Education Publishing House) (2001)
  • D. Wang : “Elimination Methods”, (Springer) (2001)
  • D. Wang : “Geometric Reasoning with Geometric Algebra”, chapter in Geometric Algebra with Applications in Science and Engineering, pp. 87-109, (Birkhäuser) (2001)
• 2000
  • D. Wang : “Computing Triangular Systems and Regular Systems”, Journal of Symbolic Computation, vol. 30 (2), pp. 221-236, (Elsevier) (2000)
  • L. Chen, Zh. Lu, D. Wang : “A Class of Cubic Systems with Two Centers or Two Foci”, Journal of Mathematical Analysis and Applications, vol. 242 (2), pp. 154-163, (Elsevier) (2000)
  • Sh. Chou, X.‑Sh. Gao, Zh. Liu, D.‑K. Wang, D. Wang : “Geometric Theorem Provers and Algebraic Equations Solvers”, chapter in Mathematics Mechanization and Applications, (Academic Press, London) (2000)
  • X.‑Sh. Gao, D. Wang : “Mathematics Mechanization and Applications”, (Academic Press, London) (2000)
  • D. Wang : “Some Algorithms for Zero Decomposition of Polynomial Systems”, chapter in Mathematics Mechanization and Applications, (Academic Press, London) (2000)