Min Wu

According to our database, Min Wu authored at least 25 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

The Fifth Conference "Computer Algebra" in Moscow.

Sergei A. Abramov, Alexander B. Batkhin, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu

ACM Commun. Comput. Algebra, June, 2023

2021

The fourth conference "computer algebra" in Moscow.

Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Yvette Zonn, Min Wu

ACM Commun. Comput. Algebra, 2021

2019

The conference "computer algebra" in Moscow.

Sergei A. Abramov, Anna A. Ryabenko, Leonid A. Sevastianov, Min Wu, Yvette Zonn

ACM Commun. Comput. Algebra, 2019

2017

Verification for Non-polynomial Hybrid Systems Using Rational Invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Comput. J., 2017

2015

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation.

Zhengfeng Yang, Wang Lin, Min Wu

ACM Trans. Embed. Comput. Syst., 2015

Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis.

Ke Wu, Shiping Tang, Geguang Pu, Min Wu, Ting Su

Proceedings of the Knowledge Science, Engineering and Management, 2015

2014

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Frontiers Comput. Sci., 2014

Domain-of-attraction estimation for uncertain non-polynomial systems.

Min Wu, Zhengfeng Yang, Wang Lin

Commun. Nonlinear Sci. Numer. Simul., 2014

Exact safety verification of hybrid systems using sums-of-squares representation.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Sci. China Inf. Sci., 2014

Safety verification of nonlinear systems based on rational invariants.

Wang Lin, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic-Numeric Computation 2014, 2014

2013

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method.

Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

J. Syst. Sci. Complex., 2013

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2013

2012

Transforming linear functional systems into fully integrable systems.

Ziming Li, Min Wu

J. Symb. Comput., 2012

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation

Zhengfeng Yang, Min Wu, Wang Lin

CoRR, 2012

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations.

Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Computer Mathematics, 2012

2011

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points

Bin Wu, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

CoRR, 2011

Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients.

Min Wu, Zhengfeng Yang

Proceedings of the SNC 2011, 2011

2010

An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations.

Ruyong Feng, Michael F. Singer, Min Wu

J. Symb. Comput., 2010

Liouvillian solutions of linear difference-differential equations.

Ruyong Feng, Michael F. Singer, Min Wu

J. Symb. Comput., 2010

2009

Finding positively invariant sets of a class of nonlinear loops via curve fitting.

Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng

Proceedings of the Symbolic Numeric Computation, 2009

Simplification of Numerical Rational Surfaces.

Liyong Shen, Min Wu, Zhengfeng Yang

Proceedings of the Second International Joint Conference on Computational Sciences and Optimization, 2009

2008

Liouvillian Solutions of Difference-Differential Equations

Ruyong Feng, Michael F. Singer, Min Wu

CoRR, 2008

2007

Testing linear dependence of hyperexponential elements.

Ziming Li, Min Wu, Dabin Zheng

ACM Commun. Comput. Algebra, 2007

2006

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.

Ziming Li, Michael F. Singer, Min Wu, Dabin Zheng

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2005

Picard--Vessiot extensions for linear functional systems.

Manuel Bronstein, Ziming Li, Min Wu

Proceedings of the Symbolic and Algebraic Computation, 2005