2000-2025 Publications
All
Books
Edited books
Articles
Book chapters
Communications
2025
H. Hong, D. Wang, J. Yang : “Improving angular speed uniformity of rational parameterization using piecewise radical reparameterization ”, Annals of Mathematics and Artificial Intelligence, (Springer Verlag) (2025)R. Xia, D. Wang, Ch. Mou : “Collision Detection Between Convex Objects Using Pseudodistance and Unconstrained Optimization ”, IEEE Transactions on Robotics, vol. 41, pp. 253-268, (IEEE) (2025)
2024
B. Huang, D. Wang : “Zero-Hopf bifurcation of limit cycles in certain differential systems ”, Bulletin des Sciences Mathématiques, vol. 195, pp. 103472, (Elsevier) (2024)D. Wang, L. Wang : “Decomposition of Polynomial Ideals into Triangular Regular Sequences ”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, Raleigh, NC, United States, pp. 244-253, (ACM), (ISBN: 9798400706967) (2024)B. Huang, D. Wang, J. Yang : “Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation ”, Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, Raleigh, NC, United States, pp. 180-187, (ACM), (ISBN: 9798400706967) (2024)
2016
2014
J. Yang, D. Wang, H. Hong : “ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves ”, 10th 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 - 9th 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 ”, 27th 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 13th 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 11th 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 3rd 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
2006
H. Hong, L. Li, T. Liang, D. Wang : “Solving Dynamic Geometric Constraints Involving Inequalities ”, Proceedings of the 8th 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 6th 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 6th 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 - 7th 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)