Numerical Algebraic Geometry
Motivated by realistic problems, a trend from pure symbolic computation to
symbolic-numerical computation has occurred. I am mainly concerned with
adapting the concepts in exact polynomial algebra to the approximate case and
developing numerical stable methods to obtain structural information characterizing
polynomial ideals, e.g. my work on numerical factorization of polynomials
and its geometric foundations. Recently, I am interested with real algebraic
geometry based on homotopy methods and the associated sensitivity analysis.

• ​2003 – 2007: Ph.D. of Applied Mathematics, University of Western Ontario, Canada.
• 2006.09 – 2006.12: NSF funded long term visitor to the Institute of Mathematics and its Applications, University of Minnesota, Minneapolis.
• 1999 – 2002: M.S. of Computer Science, Graduate School of Chinese Academy of Sciences, Chengdu, China.
• 1995 – 1999: B.S. of Mathematics, Department of Mathematics, Peking University, Beijing, China.
• 1997 – 1999: Second B.S. of Economics, China Center of Economic Research, Peking University, China.

• ​2017.01 – present: Professor, Chongqing Institute of Green and Intelligent Technology
• 2011.10 – 2017.01: Associate Prof. Chongqing Institute of Green and Intelligent Technology
• 2010.08 – 2011.10: Associate Prof. University of Electronic Science and Technology of China
• 2008.08 – 2010.08: Postdoctoral Fellowship/instructor at Michigan State University USA
• 2007.09 – 2008.08: Fields Institute Postdoctoral Fellowship at the University of Western Ontario.
• 2007.09 – 2007.12: Lecturer, Applied Mathematics Department of the University of Western Ontario.
• 2003.09 – 2007.04: Teaching Assistant, Applied Mathematics Department of the University of Western Ontario.
• 2003.09 – 2007.08: Research Assistant, Applied Mathematics Department
  of the University of Western Ontario.

1. The Numerical Factorization of Polynomials. Foundations of Computational
Mathematics Volume 17, Issue 1, pp 259–286, 2017.

2. Computing Real Witness Points of Positive Dimensional Polynomial Systems.
Theoretical Computer Science, 681:217-231. 2017

3. A Numerical Method for Computing Border Curves of Bi-parametric Real
Polynomial Systems and Applications. Lecture Notes in Computer Science
Springer2016. EI

4. A Numerical Method for Analyzing the Stability of Bi-parametric Biological
Systems. 2016 18th International Symposium on Symbolic and
Numeric Algorithms for Scientific Computing, IEEE. EI

5. Sparse bivariate polynomial factorization. China Science: Mathematics
57(10):2123-2142 2014.

6. Exact bivariate polynomial factorization over Q by approximation of roots.
Journal of Systems Science and Complexity Volume 28, Issue 1, pp
243C260 2015. SCI

7. Finding points on real solution components and applications to differential
polynomial systems. ISSAC 2013: 339-346. EI

8. Termination of initialized two variable homogeneous linear loops. In Proceedings
of the 6th IEEE International Conference on Software Engineering
and Service Science (ICSESS 2015), Beijing, 2015. IEEE. EI.

9. Termination of two variable homogeneous linear loops. In The Sixth International
Joint Conference on Computational Sciences and Optimization,
pages 10–13. IEEE. EI.

10. Low-dimensional chaos and fractal property of long-term sunspot activity.
Research in Astronomy and Astrophysics, 14(1):104–112, 2014. SCI.

11. Incremental PSLQ with application to algebraic number reconstruction.
ACM Communications in Computer Algebra, 47(3):112–113, 2013. EI.

12. Two variants of HJLS-PSLQ with applications. In Proceedings of 2014
International Workshop on Symbolic-Numeric Computation, pages 88–96,
Shanghai, China, 2014. ACM. EI.

13. Numerical aspects of finding points on real solution components. In Proceedings
of 2014 International Workshop on Symbolic-Numeric Computation,
pages 111–117, Shanghai, China, 2014. ACM. EI.

14. Real root isolation of polynomial equations based on hybrid computation.
In R. Feng, W.-s. Lee, and Y. Sato, editors, Computer Mathematics,
pages 375–396. Springer Berlin Heidelberg, 2014. EI.

15. Numerical method for computing the stable equilibrium of high dimensional
predator prey system. Journal of Computational and Theoretical
Nanoscience, 11:1942–1946, 2014. SCI.

16. Constructing the lyapunov function through solving positive dimensional
polynomial system. Journal of Applied Mathematics, Volume 2013:Article
ID 859578, 5 pages, 2013. EI.

17. Computing the singular solution of power system. Applied Mechanics and
Materials, 392:660–664, 2013. EI.

18. Structural analysis of high-index DAE for process simulation. International
Journal of Modeling, Simulation, and Scientific Computing, 04(04):1342008,
2013. EI.

19. An efficient algorithm to factorize sparse bivariate polynomials over the
rationals. ACM Communications in Computer Algebra, 46(3):125–126,
2012. EI.

20. Wenyuan Wu, Greg Reid and Oleg Golubitsky: Towards Geometric Completion
of Differential Systems by Points. Accepted by Proceedings of
ApCoa’ 08.

21. Robin Scott, Greg Reid, Wenyuan Wu, Lihong Zhi: Geometric Involutive
Bases and their Applications to the Numerical Computation of Groebner
Bases. Accepted by Proceedings of ApCoa’ 08.

22. Wenyuan Wu, Greg Reid and Silvana Ilie: Implicit Riquier Bases for
PDAE and their Discretizations. Journal of Symbolic Computation Vol
44, pages 923-941, 2009.

23. Ph.D. Thesis: Geometric Symbolic-Numeric Methods for Differential and
Algebraic Systems, University of Western Ontario, Canada, 2007.

24. Wenyuan Wu, Greg Reid: Symbolic-numeric Computation of Implicit
Riquier Bases for PDE. Proceedings of the 2007 International Symposium
on Symbolic and Algebraic Computation (ISSAC’07), pages 377-385,
ACM 2007.

25. Marc Moreno Maza, Greg J. Reid, Robin Scott and Wenyuan Wu: On
Approximate Triangular Decompositions in Dimension Zero, Journal of
Symbolic Computation, Vol 42(7), page 693-716, 2007.

26. Marc Moreno Maza, Greg J. Reid, Robin Scott and Wenyuan Wu: On Approximate
Linearized Triangular Decomposition. Symbolic-Numeric Computation
book, Birkhauser Basel Boston, in press.

27. Wenyuan Wu, Greg Reid: Application of Numerical Algebraic Geometry
and Numerical Linear Algebra to PDE. Proceedings of the 2006 International
Symposium on Symbolic and Algebraic Computation (ISSAC’06),
July 9-12 2006, Genova, Italy. Edited by Jean-Guillaume Dumas, pages
345-353, ACM 2006.

28. WenyuanWu, Zhenbing Zeng: Reachability Analysis of Petri Net. Journal
of System Simulation, 2005 Vol 17 page 17-26 (Chinese).

29. Greg Reid, Jan Verschelde, Allan Wittkopf, and Wenyuan Wu: Symbolic-
Numeric Completion of Differential Systems by Homotopy Continuation.
Proceedings of the 2005 International Symposium on Symbolic and Algebraic
Computation (ISSAC’05), July 24-27 2005, Beijing, China. Edited
by Manuel Kauers, pages 269-276, ACM 2005.

30. Xavier Dahan, Marc Moreno Maza, Eric Schost, WenyuanWu and Yuzhen
Xie: Lifting techniques for triangular decompositions. Proceedings of the
2005 International Symposium on Symbolic and Algebraic Computation
(ISSAC’05), pages 108-115, ACM 2005.

31. Marc Moreno Maza, Greg J. Reid, Robin Scott and Wenyuan Wu: On
Approximate Triangular Decompositions I Dimension Zero. In proc. of
International Workshop on Symbolic-Numeric Computation, page 250-
275, 2005.

32. Marc Moreno Maza, Greg J. Reid, Robin Scott and Wenyuan Wu: On
Approximate Triangular Decompositions II Linear Systems. In proc. of
International Workshop on Symbolic-Numeric Computation, page 276-
296, 2005.

33. X. Dahan, M. Moreno Maza, E. Schost, W. Wu and Y. Xie. Equiprojectable
decompositions of zero-dimensional varieties. In proc. of International
Conference on Poynomial System Solving, page 69-71, University
of Paris 6, France, 2004.

已指导学生

王永恒  硕士研究生  085210-控制工程