Papers                                 >> Books and special issues    

    2020

  1. Dong Lu, Dingkang Wang, Fanghui Xiao: Factorizations for a Class of Multivariate Polynomial Matrices. Multidimensional Systems and Signal Processing (2020) https://doi.org/10.1007/s11045-019-00694-z.
  2. Chenqi Mou: On the Chordality of Ordinary Differential Triangular Decomposition in Top-down Style. In: Proceedings of the 2020 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2020) (Kalamata, Greece, July 20-23, 2020), ACM Press, New York, 2020, pp. 364–371.
  3. Dong Lu, Dingkang Wang, Fanghui Xiao: Further Results on the Factorization and Equivalence for Multivariate Polynomial Matrices. In: Proceedings of the 2020 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2020) (Kalamata, Greece, July 20-23, 2020), ACM Press, New York, 2020, pp. 328–335.
  4. Bo Huang: Algorithmic Averaging for Studying Periodic Orbits of Planar Differential Systems. In: Proceedings of the 2020 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2020) (Kalamata, Greece, July 20-23, 2020), ACM Press, New York, 2020, pp. 241–248.
  5. Rina Dong, Dongming Wang: Computing Strong Regular Characteristic Pairs with Gröbner Bases. Journal of Symbolic Computation (2020) https://doi.org/10.1016/j.jsc.2020.06.012.
  6. Dongming Wang, Rina Dong, Chenqi Mou: Decomposition of Polynomial Sets into Characteristic Pairs. Mathematics of Computation (2020) https://doi.org/10.1090/mcom/3504.
  7. 2019

  8. Dongming Wang, Jing Yang: The Second Discriminant of a Univariate Polynomial. Science China Mathematics (2019) https://doi.org/10.1007/s11425-018-1594-2.
  9. Chenqi Mou, Yang Bai, Jiahua Lai: Chordal Graphs in Triangular Decomposition in Top-Down Style. Journal of Symbolic Computation (2019) https://doi.org/10.1016/j.jsc.2019.10.011.
  10. Chenqi Mou, Xiaolin Fan: On Berlekamp-Massey and Berlekamp-Massey-Sakata Algorithms. In: Peoceedings of the 21st International Workshop on Computer Algebra in Scientific Computing (CASC 2019) (Moscow, Russia, August 26-30, 2019), LNCS 11661, Springer, Cham, 2019, pp. 362-376.
  11. Rina Dong, Chenqi Mou: On Characteristic Decomposition and Quasi-characteristic Decomposition. In: Peoceedings of the 21st International Workshop on Computer Algebra in Scientific Computing (CASC 2019) (Moscow, Russia, August 26-30, 2019), LNCS 11661, Springer, Cham, 2019, pp. 122-139.
  12. Bo Huang, Wei Niu: Limit Cycles for Two Classes of Planar Polynomial Differential Systems with Uniform Isochronous Centers. Journal of Applied Analysis and Computation 9 (2019) pp. 943-961.
  13. Bo Huang, Chee Yap: An Algorithmic Approach to Limit Cycles of Nonlinear Differential Systems: The Averaging Method Revisited. In: Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) (Beijing, China, July 15-18, 2019), ACM Press, New York, 2019, pp. 211-218.
  14. Juan Xu, Chee Yap: Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis. In: Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2019) (Beijing, China, July 15-18, 2019), ACM Press, New York, 2019, pp. 355-362.
  15. Dongming Wang, Chenqi Mou: Characteristic Decomposition: From Regular Sets to Normal Sets. Journal of Systems Science and Complexity 32(1) (2019) pp. 37-46.
  16. Jieying Hong, Zhipeng Wang, Wei Niu: A Simple Approximation Algorithm for the Diameter of a Set of Points in an Euclidean Plane. Plos One 14.2(2019).
  17. Bo Huang: Limit Cycles for a Discontinuous Quintic Polynomial Differential System. Qualitative Theory of Dynamical Systems 18 (2019) pp. 769-792.
  18. Bo Huang, Wei Niu: Analysis of Snapback Repellers Using Methods of Symbolic Computation. International Journal of Bifurcation and Chaos 29 (2019) 1950054-1-13.
  19. 2018

  20. Shuai Chen, Wei Niu: On Different Calculation Formulas of the Pressure Term in Bi-phase SPH Simulation. AIP Advances 08.10 (2018) 105131.
  21. Xiaoyu Chen, Haotian Shuai, Dongming Wang, Jing Yang: LaText: A Linear Algebra Textbook System. In: Proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) (Suzhou, China, September 16-19, 2018), LICS 11110, Springer, Berlin Heidelberg, 2018, pp. 209-214.
  22. Pengcheng Peng, Chenqi Mou, Wei-Tek Tsai: Game-Theoretic Analysis on the Number of Participants in the Software Crowdsourcing Contest. In: Proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) (Suzhou, China, September 16-19, 2018), LICS 11110, Springer, Berlin Heidelberg, 2018, pp. 255-268.
  23. Dongchen Jiang, Xiaoyu Chen, Xin Yang: A Chinese New Word Detection Approach Based on Independence Testing. In: Proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2018) (Suzhou, China, September 16-19, 2018), LICS 11110, Springer, Berlin Heidelberg, 2018, pp. 227-236.
  24. Chenqi Mou, Yang Bai: On the Chordality of Polynomial Sets in Triangular Decomposition in Top-Down Style. In: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) (New York, USA, July 16-19, 2018), ACM Press, New York, 2018, pp. 287-294.
  25. Juan Xu, Michael Burr, Chee Yap: An Approach for Certifying Homotopy Continuation Paths: Univariate Case. In: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2018) (New York, USA, July 16-19, 2018), ACM Press, New York, 2018, pp. 399-406.
  26. Bo Huang, Jieying Hong, Guoqing Jing, Wei Niu, Le Fang: Travelling Wave Solutions of the Homogeneous One-dimensional FREFLO Model. AIP Advances 08.01 (2018) 015217.
  27. 2017

  28. Jean-Charles Faugère, Chenqi Mou: Sparse FGLM Algorithms. Journal of Symbolic Computation 80(3) (2017) pp. 538-569.
  29. Rina Dong, Chenqi Mou: Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets. In: Peoceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC 2017) (Beijing, China, September 18-22, 2017), LNCS 10490, Springer, Cham, 2017, pp. 77-92.
  30. Bo Huang: Bifurcation of Limit Cycles from the Center of a Quintic System via the Averaging Method. International Journal of Bifurcation and Chaos 27 (2017) 1750072-1-16.
  31. Dongming Wang, Xiaoyu Chen, Dan Song: Retrieving Geometric Information from Images: The Case of Hand-drawn Diagrams. Data Mining and Knowledge Discovery 31(4) (2017) pp. 934-971.
  32. 2016

  33. Bingxue Zhang, Chuantao Yin, Bertrand David, Zhang Xiong, Wei Niu: Facilitating Professionals’ Work-based Learning with Context-aware Mobile System . Science of Computer Programming 129.01 (2016) pp. 3-19.
  34. Dongming Wang: On the Connection Between Ritt Characteristic Sets and Buchberger-Gröbner Bases. Mathematics in Computer Science 10(4) (2016) 479-492.
  35. Wenya An, Xiaoyu Chen, Dongming Wang: Searching for Geometric Theorems Using Features Retrieved from Diagrams. In: Proceedings of the International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2015) (Berlin, Germany, November 11-13, 2015), Springer, Berlin Heidelberg, 2016, pp. 383–397.
  36. Wei Niu, Jian Shi, Chenqi Mou: Analysis of Codimension 2 Bifurcations for High-dimensional Discrete Systems Using Symbolic Computation Methods. Applied Mathematics and Computation 273 (2016) pp. 934-947.
  37. Ruben Becker, Michael Sagraloff, Vikram Sharma, Juan Xu, Chee Yap: Complexity Analysis of Root Clustering for a Complex Polynomial. In: Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2016) Waterloo, Canada, July 20-22, 2016), ACM Press, New York, 2016, pp. 71-78.
  38. 2015

  39. Xiaoyu Chen, Dan Song, Dongming Wang: Automated Generation of Geometric Theorems from Images of Diagrams. Annals of Mathematics and Artificial Intelligence 74 (2015) pp. 333-358.
  40. Dan Song, Dongming Wang, Xiaoyu Chen: Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams. In: Automated Deduction in Geometry (F. Botana and P. Quaresma, eds.), LNAI 9201, Springer, Cham Heidelberg, 2015, pp. 149-165.
  41. 2014

  42. Xiaoliang Li, Dongming Wang: Computing Equilibria of Semi-algebraic Economies Using Triangular Decomposition and Real Solution Classification. Journal of Mathematical Economics 54 (2014) pp. 48-58.
  43. Dongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song: OpenGeo: An Open Geometric Knowledge Base. In: Proceedings of the Fourth International Congress on Mathematical Software (ICMS 2014) (Seoul, Korea, August 5-9, 2014), LNCS 8592, Springer-Verlag, Berlin Heidelberg, 2014, pp. 240-245.
  44. Jing Yang, Dongming Wang, Hoon Hong: ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. In: Proceedings of the Tenth Asian Symposium on Computer Mathematics (ASCM 2012) (Beijing, China, October 26-28, 2012), Springer-Verlag, Berlin Heidelberg, 2014, pp. 437-451.
  45. 2013

  46. Xiaoyu Chen, Dongming Wang: Formalization and Specification of Geometric Knowledge Objects. Mathematics in Computer Science 7(4) (2013) pp. 439-454.
  47. Jing Yang, Dongming Wang, Hoon Hong: Improving Angular Speed Uniformity by C1 Piecewise Reparameterization. In: Automated Deduction in Geometry (T. Ida and J. Fleuriot, eds.), LNAI 7993, Springer-Verlag, Berlin Heidelberg, 2013, pp. 33-47.
  48. Hoon Hong, Dongming Wang, Jing Yang: A Framework for Improving Uniformity of Parameterizations of CurvesScience China Information Sciences 56(10) (2013) pp. 1-22.
  49. Jing Yang, Dongming Wang, Hoon Hong: Improving Angular Speed Uniformity by Reparametrization. Computer Aided Geometric Design 30(7) (2013) pp. 636-652.
  50. Chenqi Mou, Dongming Wang, Xiaoliang Li: Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Positive-dimensional Case. Theoretical Computer Science 468 (2013) pp. 102-113.
  51. Meng Jin, Xiaoliang Li, Dongming Wang: A New Algorithmic Scheme for Computing Characteristic Sets. Journal of Symbolic Computation 50 (2013) pp. 431-449.
  52. 2012

  53. Wei Niu, Dongming Wang: Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System. Applied Mathematics and Computation 219(1) (2012) pp. 108-121.
  54. Jing Yang, Dongming Wang, Hoon Hong: Improving Angular Speed Uniformity by Optimal C0 Piecewise Reparameterization. In: Proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing (CASC 2012) (Maribor, Slovenia, September 3-6, 2012), LNCS 7442, Springer-Verlag, Berlin Heidelberg, 2012, pp. 349-360.
  55. Dongming Wang: Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems. International Journal of Control 85(10) (2012) pp. 1414-1421.
  56. Xiaoyu Chen, Dongming Wang: Management of Geometric Knowledge in TextbooksData & Knowledge Engineering 73 (2012) 43-57.
  57. Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang: Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence. In: Intelligent Computer Mathematics - CICM 2012 Proceedings (J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge, eds.), LNAI 7362, Springer-Verlag, Berlin Heidelberg, 2012, pp. 432-437.
  58. Ting Zhao, Dongming Wang, Hoon Hong, Philippe Aubry: Real Solution Formulas of Cubic and Quartic Equations Applied to Generate Dynamic Diagrams with Inequality Constraints. In: Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012) (Riva del Garda, Italy, March 26-30, 2012), ACM Press, New York, 2012, pp. 94-101.
  59. 2011

  60. Xiaoliang Li, Chenqi Mou, Wei Niu, Dongming Wang: Stability Analysis for Discrete Biological Models Using Algebraic Methods. Mathematics in Computer Science 5(3) (2011) pp. 247-262.
  61. Ting Zhao, Dongming Wang, Hoon Hong: Solution Formulas for Cubic Equations Without or With Constraints. Journal of Symbolic Computation 46(8) (2011) pp. 904-918.
  62. Dongming Wang: Algebraic Analysis of Stability and Bifurcation for Nonlinear Flight Dynamics. The Aeronautical Journal 115 (1168) (2011) pp. 345-349.
  63. Xiaoyu Chen, Ying Huang, Dongming Wang: On the Design and Implementation of a Geometric Knowledge Base. In: Automated Deduction in Geometry (T. Sturm and C. Zengler, eds.), LNAI 6301, Springer-Verlag, Berlin Heidelberg, 2011, pp. 22-41.
  64. 2010

  65. Xiaoliang Li, Chenqi Mou, Dongming Wang: Decomposing Polynomial Sets into Simple Sets over Finite Fields: The Zero-dimensional Case. Computers and Mathematics with Applications 60(11) (2010) pp. 2983-2997.
  66. 2009

  67. Yanli Huang, Dongming Wang: Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Gröbner Bases. In: Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009) (Timisoara, Romania, September 26-29, 2009), IEEE Computer Society, Los Alamitos, CA, 2009, pp. 28-36.
  68. Dongming Wang: Basic Elements of Computer Geometry (invited paper). In: Proceedings of the Tunisia-Japan Workshop on Symbolic Computation in Software Science (SCSS 2009) (Gammarth, Tunisia, September 22-24, 2009) (A. Bouhoula and T. Ida, eds.), EasyChair, 2009, pp. 2-12.
  69. 2008

  70. Wei Niu, Dongming Wang: Algebraic Approaches to Stability Analysis of Biological Systems. Mathematics in Computer Science 1(3) (2008) pp. 507-539.
  71. Wei Niu, Dongming Wang: Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems. In: Proceedings of the Third International Conference on Algebraic Biology (AB 2008) (Hagenberg, Austria, July 31 - August 2, 2008), LNCS 5147, Springer-Verlag, Berlin Heidelberg, 2008, pp. 156-171.
  72. 2007

  73. Xiaoyu Chen, Dongming Wang: Towards an Electronic Geometry Textbook. In: Automated Deduction in Geometry (F. Botana and T. Recio, eds.), LNAI 4869, Springer-Verlag, Berlin Heidelberg, 2007, pp. 1-23.
  74. Tielin Liang, Dongming Wang: On the Design and Implementation of a Geometric-Object-Oriented Language. Frontiers of Computer Science in China 1(2) (2007) pp. 180-190.
  75. 2006

  76. 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.
  77. 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.
  78. 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.
  79. Wei Niu: Application of Quantifier Elimination and Discriminant Varieties to Stability Analysis of Biological Systems. In: Proceedings 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.
  80. 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.
  81. 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.
  82. 2005

  83. 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.
  84. 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.
  85. 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.
  86. 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.
  87. 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.
  88. 2004

  89. 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.
  90. 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.
  91. Dongming Wang: A Simple Method for Implicitizing Rational Curves and Surfaces. Journal of Symbolic Computation 38 (2004): pp. 899-914.