Wenyuan Wu

Chongqing Institute of Green and Intelligent Technology, CAS

Office Address: 266 Fangzheng Avenue, room 615, Beibei District, Chongqing

Postal: 400714

Email: wuwenyuan@cigit.ac.cn

### Research Areas

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.

### Education

- 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.

### Experience

- 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.

### Publications

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.

### Students

已指导学生

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