Picard–Vessiot extensions for linear functional systems. - Manuel Bronstein; Ziming Li 002; Min Wu 003 (ISSAC, 2005)

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. - Ziming Li 002; Michael F. Singer; Min Wu 003; Dabin Zheng (ISSAC, 2006)

Testing linear dependence of hyperexponential elements. - Ziming Li 002; Min Wu 003; Dabin Zheng (ACM Commun. Comput. Algebra, 2007)

Liouvillian Solutions of Difference-Differential Equations - Ruyong Feng; Michael F. Singer; Min Wu 003 (CoRR, 2008)

Simplification of Numerical Rational Surfaces. - Liyong Shen; Min Wu 003; Zhengfeng Yang (CSO (1), 2009)

Finding positively invariant sets of a class of nonlinear loops via curve fitting. - Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (SNC, 2009)

Liouvillian solutions of linear difference-differential equations. - Ruyong Feng; Michael F. Singer; Min Wu 003 (J. Symb. Comput., 2010)

An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations. - Ruyong Feng; Michael F. Singer; Min Wu 003 (J. Symb. Comput., 2010)

Generating invariants of hybrid systems via sums-of-squares of polynomials with rational coefficients. - Min Wu 003; Zhengfeng Yang (SNC, 2011)

Generating Loop Invariants by Computing Vanishing Ideals of Sample Points - Bin Wu; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (CoRR, 2011)

Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. - Liangyu Chen 001; Tuo Leng; Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (ASCM, 2012)

Exact Verification of Hybrid Systems Based on Bilinear SOS Representation - Zhengfeng Yang; Min Wu 003; Wang Lin (CoRR, 2012)

Transforming linear functional systems into fully integrable systems. - Ziming Li 002; Min Wu 003 (J. Symb. Comput., 2012)

Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation - Zhengfeng Yang; Min Wu 003; Wang Lin (CoRR, 2013)

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method. - Liyong Shen; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (J. Syst. Sci. Complex., 2013)

Safety verification of nonlinear systems based on rational invariants. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (SNC, 2014)

Exact safety verification of hybrid systems using sums-of-squares representation. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Sci. China Inf. Sci., 2014)

Domain-of-attraction estimation for uncertain non-polynomial systems. - Min Wu 003; Zhengfeng Yang; Wang Lin (Commun. Nonlinear Sci. Numer. Simul., 2014)

Proving total correctness and generating preconditions for loop programs via symbolic-numeric computation methods. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Frontiers Comput. Sci., 2014)

Fm-QCA: A Novel Approach to Multi-value Qualitative Comparative Analysis. - Ke Wu; Shiping Tang; Geguang Pu; Min Wu 003; Ting Su 001 (KSEM, 2015)

Exact Safety Verification of Hybrid Systems Based on Bilinear SOS Representation. - Zhengfeng Yang; Wang Lin; Min Wu 003 (ACM Trans. Embed. Comput. Syst., 2015)

Verification for Non-polynomial Hybrid Systems Using Rational Invariants. - Wang Lin; Min Wu 003; Zhengfeng Yang; Zhenbing Zeng (Comput. J., 2017)

The conference "computer algebra" in Moscow. - Sergei A. Abramov; Anna A. Ryabenko; Leonid A. Sevastianov; Min Wu 003; Yvette Zonn (ACM Commun. Comput. Algebra, 2019)

The fourth conference "computer algebra" in Moscow. - Sergei A. Abramov; Anna A. Ryabenko; Leonid A. Sevastianov; Yvette Zonn; Min Wu 003 (ACM Commun. Comput. Algebra, 2021)

The Fifth Conference "Computer Algebra" in Moscow. - Sergei A. Abramov; Alexander B. Batkhin; Anna A. Ryabenko; Leonid A. Sevastianov; Yvette Zonn; Min Wu 003 (ACM Commun. Comput. Algebra, 2023)