Optimal algorithm for algebraic factoring. - Lihong Zhi (J. Comput. Sci. Technol., 1997)

Nearest Singular Polynomials. - Lihong Zhi; Wenda Wu (J. Symb. Comput., 1998)

Pseudofactors of multivariate polynomials. - Yuzhen Huang; Wenda Wu; Hans J. Stetter; Lihong Zhi (ISSAC, 2000)

A complete symbolic-numeric linear method for camera pose determination. - Gregory J. Reid; Jianliang Tang; Lihong Zhi (ISSAC, 2003)

Hybrid Method for Solving New Pose Estimation Equation System. - Gregory J. Reid; Jianliang Tang; Jianping Yu; Lihong Zhi (IWMM/GIAE, 2004)

Approximate factorization of multivariate polynomials via differential equations. - Shuhong Gao; Erich L. Kaltofen; John P. May; Zhengfeng Yang; Lihong Zhi (ISSAC, 2004)

QR factoring to compute the GCD of univariate approximate polynomials. - Robert M. Corless; Stephen M. Watt; Lihong Zhi (IEEE Trans. Signal Process., 2004)

Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. - Erich L. Kaltofen; Zhengfeng Yang; Lihong Zhi (ISSAC, 2006)

Hybrid symbolic-numeric computation. - Erich L. Kaltofen; Lihong Zhi (ISSAC, 2006)

Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). - Erich L. Kaltofen; Bin Li; Kartik Sivaramakrishnan; Zhengfeng Yang; Lihong Zhi (SNC, 2007)

On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. - Erich L. Kaltofen; Zhengfeng Yang; Lihong Zhi (SNC, 2007)

Approximate GCDs of polynomials and SOS relaxation. - Bin Li; Jiawang Nie; Lihong Zhi (SNC, 2007)

Numerical optimization in hybrid symbolic-numeric computation. - Lihong Zhi (SNC, 2007)

Structured Low Rank Approximation of a Bezout Matrix. - Dongxia Sun; Lihong Zhi (Math. Comput. Sci., 2007)

Foreword. - Dongming Wang 001; Lihong Zhi (Math. Comput. Sci., 2007)

A fast algorithm for solving the Sylvester structured total least squares problem. - Bingyu Li; Zhuojun Liu; Lihong Zhi (Signal Process., 2007)

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. - Erich L. Kaltofen; Bin Li; Zhengfeng Yang; Lihong Zhi (ISSAC, 2008)

Computing the multiplicity structure from geometric involutive form. - Xiaoli Wu; Lihong Zhi (ISSAC, 2008)

Approximate factorization of multivariate polynomials using singular value decomposition. - Erich L. Kaltofen; John P. May; Zhengfeng Yang; Lihong Zhi (J. Symb. Comput., 2008)

Approximate GCDs of polynomials and sparse SOS relaxations. - Bin Li; Jiawang Nie; Lihong Zhi (Theor. Comput. Sci., 2008)

A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions. - Erich L. Kaltofen; Zhengfeng Yang; Lihong Zhi (SNC, 2009)

Computing rational points in convex semi-algebraic sets and SOS decompositions - Mohab Safey El Din; Lihong Zhi (CoRR, 2009)

Solving polynomial systems via symbolic-numeric reduction to geometric involutive form. - Greg Reid; Lihong Zhi (J. Symb. Comput., 2009)

Global optimization of polynomials using generalized critical values and sums of squares. - Feng Guo 007; Mohab Safey El Din; Lihong Zhi (ISSAC, 2010)

Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method. - Sharon Hutton; Erich L. Kaltofen; Lihong Zhi (ISSAC, 2010)

Blind image deconvolution via fast approximate GCD. - Zijia Li; Zhengfeng Yang; Lihong Zhi (ISSAC, 2010)

The Minimum-Rank Gram Matrix Completion via Fixed Point Continuation Method - Yue Ma; Lihong Zhi (CoRR, 2010)

Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions. - Mohab Safey El Din; Lihong Zhi (SIAM J. Optim., 2010)

The minimum-rank gram matrix completion via modified fixed point continuation method. - Yue Ma; Lihong Zhi (ISSAC, 2011)

Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. - Feng Guo 007; Erich L. Kaltofen; Lihong Zhi (ISSAC, 2012)

Computing real solutions of polynomial systems via low-rank moment matrix completion. - Yue Ma; Lihong Zhi (ISSAC, 2012)

Global optimization of polynomials restricted to a smooth variety using sums of squares. - Aurélien Greuet; Feng Guo 007; Mohab Safey El Din; Lihong Zhi (J. Symb. Comput., 2012)

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. - Erich L. Kaltofen; Bin Li; Zhengfeng Yang; Lihong Zhi (J. Symb. Comput., 2012)

Computing the multiplicity structure of an isolated singular solution: Case of breadth one. - Nan Li; Lihong Zhi (J. Symb. Comput., 2012)

Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms. - Xiaoli Wu; Lihong Zhi (J. Symb. Comput., 2012)

Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One. - Nan Li; Lihong Zhi (SIAM J. Numer. Anal., 2012)

Computing rational solutions of linear matrix inequalities. - Qingdong Guo; Mohab Safey El Din; Lihong Zhi (ISSAC, 2013)

Verified error bounds for real solutions of positive-dimensional polynomial systems. - Zhengfeng Yang; Lihong Zhi; Yijun Zhu (ISSAC, 2013)

Preface. - Ilias S. Kotsireas; Bernard Mourrain; Victor Y. Pan; Lihong Zhi (Theor. Comput. Sci., 2013)

Computing the nearest singular univariate polynomials with given root multiplicities. - Zijia Li; Lihong Zhi (Theor. Comput. Sci., 2013)

Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one. - Nan Li; Lihong Zhi (Theor. Comput. Sci., 2013)

Symbolic-numeric algorithms for computing validated results. - Lihong Zhi (ISSAC, 2014)

Optimizing a linear function over a noncompact real algebraic variety. - Feng Guo 007; Chu Wang; Lihong Zhi (SNC, 2014)

Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems. - Nan Li; Lihong Zhi (SIAM J. Numer. Anal., 2014)

Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. - Feng Guo 007; Mohab Safey El Din; Chu Wang; Lihong Zhi (ISSAC, 2015)

Optimization Problems over Noncompact Semialgebraic Sets. - Lihong Zhi (ISSAC, 2015)

Semidefinite Representations of Noncompact Convex Sets. - Feng Guo 007; Chu Wang; Lihong Zhi (SIAM J. Optim., 2015)

Numerical Sparsity Determination and Early Termination. - Zhiwei Hao; Erich L. Kaltofen; Lihong Zhi (ISSAC, 2016)

A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. - Yue Ma; Chu Wang; Lihong Zhi (J. Symb. Comput., 2016)

Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). - Lihong Zhi (CASC, 2017)

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. - Jean-Guillaume Dumas; Erich L. Kaltofen; Gilles Villard; Lihong Zhi (ISSAC, 2017)

TCS SNC Preface. - Jan Verschelde; Stephen M. Watt; Lihong Zhi (Theor. Comput. Sci., 2017)

On the Complexity of Computing Real Radicals of Polynomial Systems. - Mohab Safey El Din; Zhi-Hong Yang; Lihong Zhi (ISSAC, 2018)

Synthesizing More Expressive Invariants by Semidefinite Programming. - Qiuye Wang; Lihong Zhi; Naijun Zhan; Bai Xue 001; Zhi-Hong Yang (CoRR, 2019)

Global Optimization of Polynomials over Real Algebraic Sets. - Chu Wang; Zhi-Hong Yang; Lihong Zhi (J. Syst. Sci. Complex., 2019)

Symmetric Tensor Decompositions On Varieties. - Jiawang Nie; Ke Ye; Lihong Zhi (CoRR, 2020)

Lifts of Non-Compact Convex Sets and Cone Factorizations. - Chu Wang; Lihong Zhi (J. Syst. Sci. Complex., 2020)

On isolation of simple multiple zeros and clusters of zeros of polynomial systems. - Zhiwei Hao; Wenrong Jiang; Nan Li; Lihong Zhi (Math. Comput., 2020)

Computing real radicals and S-radicals of polynomial systems. - Mohab Safey El Din; Zhi-Hong Yang; Lihong Zhi (J. Symb. Comput., 2021)

A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions. - Tao Zheng; Lihong Zhi (CoRR, 2022)

Improved two-step Newton's method for computing simple multiple zeros of polynomial systems. - Nan Li 013; Lihong Zhi (Numer. Algorithms, 2022)

Lower Bounds of Functions on Finite Abelian Groups. - Jianting Yang; Ke Ye; Lihong Zhi (COCOON (2), 2023)

A Characterization of Perfect Strategies for Mirror Games. - Sizhuo Yan; Jianting Yang; Tianshi Yu; Lihong Zhi (ISSAC, 2023)

A Field-Theoretic Approach to Unlabeled Sensing. - Hao Liang; Jingyu Lu; Manolis C. Tsakiris; Lihong Zhi (CoRR, 2023)

VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. - Zhengfeng Yang; Hanrui Zhao; Lihong Zhi (J. Syst. Sci. Complex., 2023)

Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. - Zihao Dai; Zijia Li; Zhi-Hong Yang; Lihong Zhi (ISSAC, 2024)

Unlabeled Sensing Using Rank-One Moment Matrix Completion. - Hao Liang; Jingyu Lu; Manolis C. Tsakiris; Lihong Zhi (ISSAC, 2024)

The integral closure of a primary ideal is not always primary. - Nan Li; Zijia Li; Zhi-Hong Yang; Lihong Zhi (J. Symb. Comput., 2024)

Two-step Newton's method for deflation-one singular zeros of analytic systems. - Kisun Lee; Nan Li 013; Lihong Zhi (J. Symb. Comput., 2024)

A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation. - Beibei Xiong; Hangyu Lv; Haojia Shan; Jianlin Wang; Zhengfeng Yang; Lihong Zhi (CoRR, 2025)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. - Hao Wu 085; Qiuye Wang; Bai Xue 001; Naijun Zhan; Lihong Zhi; Zhi-Hong Yang (ACM Trans. Program. Lang. Syst., 2025)

CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. - Junqi Liu; Xiaohan Lin; Jonas Bayer; Yael Dillies; Weijie Jiang; Xiaodan Liang; Roman Soletskyi; Haiming Wang; Yunzhou Xie; Beibei Xiong; Zhengfeng Yang; Jujian Zhang; et al. (CoRR, 2025)