Lihong Zhi

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 25

Top Topics

Top Venues

J. Symb. Comput.

J. Syst. Sci. Complex.

Publications

Nan Li, Zijia Li, Zhi-Hong Yang, Lihong Zhi
The integral closure of a primary ideal is not always primary. J. Symb. Comput. 125 (2024)
Kisun Lee, Nan Li, Lihong Zhi
Two-step Newton's method for deflation-one singular zeros of analytic systems. J. Symb. Comput. 123 (2024)
Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. CoRR (2024)
Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
Unlabeled Sensing Using Rank-One Moment Matrix Completion. ISSAC (2024)
Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. ISSAC (2024)
Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
A Field-Theoretic Approach to Unlabeled Sensing. CoRR (2023)
Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi
A Characterization of Perfect Strategies for Mirror Games. ISSAC (2023)
Kisun Lee, Nan Li, Lihong Zhi
Two-step Newton's method for deflation-one singular zeros of analytic systems. CoRR (2023)
Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. CoRR (2023)
Jianting Yang, Ke Ye, Lihong Zhi
Lower Bounds of Functions on Finite Abelian Groups. COCOON (2) (2023)
Zhengfeng Yang, Hanrui Zhao, Lihong Zhi
VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. J. Syst. Sci. Complex. 36 (2) (2023)
Nan Li, Lihong Zhi
Improved two-step Newton's method for computing simple multiple zeros of polynomial systems. Numer. Algorithms 91 (1) (2022)
Tao Zheng, Lihong Zhi
A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions. CoRR (2022)
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
-radicals of polynomial systems. J. Symb. Comput. 102 (2021)
Chu Wang, Lihong Zhi
Lifts of Non-Compact Convex Sets and Cone Factorizations. J. Syst. Sci. Complex. 33 (5) (2020)
Zhiwei Hao, Wenrong Jiang, Nan Li, Lihong Zhi
On isolation of simple multiple zeros and clusters of zeros of polynomial systems. Math. Comput. 89 (322) (2020)
Jiawang Nie, Ke Ye, Lihong Zhi
Symmetric Tensor Decompositions On Varieties. CoRR (2020)
Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang
Synthesizing More Expressive Invariants by Semidefinite Programming. CoRR (2019)
Chu Wang, Zhi-Hong Yang, Lihong Zhi
Global Optimization of Polynomials over Real Algebraic Sets. J. Syst. Sci. Complex. 32 (1) (2019)
Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
On the Complexity of Computing Real Radicals of Polynomial Systems. ISSAC (2018)
Lihong Zhi
Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). CASC (2017)
Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. ISSAC (2017)
Jan Verschelde, Stephen M. Watt, Lihong Zhi
TCS SNC Preface. Theor. Comput. Sci. 681 (2017)
Zhiwei Hao, Erich L. Kaltofen, Lihong Zhi
Numerical Sparsity Determination and Early Termination. ISSAC (2016)
Yue Ma, Chu Wang, Lihong Zhi
A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. J. Symb. Comput. 72 (2016)
Lihong Zhi
Optimization Problems over Noncompact Semialgebraic Sets. ISSAC (2015)
Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi
Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. ISSAC (2015)
Feng Guo, Chu Wang, Lihong Zhi
Semidefinite Representations of Noncompact Convex Sets. SIAM J. Optim. 25 (1) (2015)
Feng Guo, Chu Wang, Lihong Zhi
Optimizing a linear function over a noncompact real algebraic variety. SNC (2014)
Lihong Zhi
Symbolic-numeric algorithms for computing validated results. ISSAC (2014)
Nan Li, Lihong Zhi
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems. SIAM J. Numer. Anal. 52 (4) (2014)
Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi
Preface. Theor. Comput. Sci. 479 (2013)
Zhengfeng Yang, Lihong Zhi, Yijun Zhu
Verified error bounds for real solutions of positive-dimensional polynomial systems. ISSAC (2013)
Zijia Li, Lihong Zhi
Computing the nearest singular univariate polynomials with given root multiplicities. Theor. Comput. Sci. 479 (2013)
Qingdong Guo, Mohab Safey El Din, Lihong Zhi
Computing rational solutions of linear matrix inequalities. ISSAC (2013)
Nan Li, Lihong Zhi
Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one. Theor. Comput. Sci. 479 (2013)
Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi
Global optimization of polynomials restricted to a smooth variety using sums of squares. J. Symb. Comput. 47 (5) (2012)
Nan Li, Lihong Zhi
Computing the multiplicity structure of an isolated singular solution: Case of breadth one. J. Symb. Comput. 47 (6) (2012)
Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. 47 (1) (2012)
Feng Guo, Erich Kaltofen, Lihong Zhi
Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. ISSAC (2012)
Yue Ma, Lihong Zhi
Computing real solutions of polynomial systems via low-rank moment matrix completion. ISSAC (2012)
Xiaoli Wu, Lihong Zhi
Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms. J. Symb. Comput. 47 (3) (2012)
Nan Li, Lihong Zhi
Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One. SIAM J. Numer. Anal. 50 (1) (2012)
Yue Ma, Lihong Zhi
The minimum-rank gram matrix completion via modified fixed point continuation method. ISSAC (2011)
Yue Ma, Lihong Zhi
The Minimum-Rank Gram Matrix Completion via Fixed Point Continuation Method CoRR (2010)
Zijia Li, Zhengfeng Yang, Lihong Zhi
Blind image deconvolution via fast approximate GCD. ISSAC (2010)
Mohab Safey El Din, Lihong Zhi
Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions. SIAM J. Optim. 20 (6) (2010)
Sharon Hutton, Erich Kaltofen, Lihong Zhi
Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method. ISSAC (2010)
Feng Guo, Mohab Safey El Din, Lihong Zhi
Global optimization of polynomials using generalized critical values and sums of squares. ISSAC (2010)
Greg Reid, Lihong Zhi
Solving polynomial systems via symbolic-numeric reduction to geometric involutive form. J. Symb. Comput. 44 (3) (2009)
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions. SNC (2009)
Mohab Safey El Din, Lihong Zhi
Computing rational points in convex semi-algebraic sets and SOS decompositions CoRR (2009)
Erich Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. 43 (5) (2008)
Erich Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC (2008)
Xiaoli Wu, Lihong Zhi
Computing the multiplicity structure from geometric involutive form. ISSAC (2008)
Bin Li, Jiawang Nie, Lihong Zhi
Approximate GCDs of polynomials and sparse SOS relaxations. Theor. Comput. Sci. 409 (2) (2008)
Bin Li, Jiawang Nie, Lihong Zhi
Approximate GCDs of polynomials and SOS relaxation. SNC (2007)
Bingyu Li, Zhuojun Liu, Lihong Zhi
A fast algorithm for solving the Sylvester structured total least squares problem. Signal Process. 87 (10) (2007)
Erich Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi
Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC (2007)
Lihong Zhi
Numerical optimization in hybrid symbolic-numeric computation. SNC (2007)
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC (2007)
Dongxia Sun, Lihong Zhi
Structured Low Rank Approximation of a Bezout Matrix. Math. Comput. Sci. 1 (2) (2007)
Dongming Wang, Lihong Zhi
Foreword. Math. Comput. Sci. 1 (2) (2007)
Erich Kaltofen, Zhengfeng Yang, Lihong Zhi
Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC (2006)
Erich Kaltofen, Lihong Zhi
Hybrid symbolic-numeric computation. ISSAC (2006)
Shuhong Gao, Erich Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
Approximate factorization of multivariate polynomials via differential equations. ISSAC (2004)
Robert M. Corless, Stephen M. Watt, Lihong Zhi
QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Process. 52 (12) (2004)
Gregory J. Reid, Jianliang Tang, Jianping Yu, Lihong Zhi
Hybrid Method for Solving New Pose Estimation Equation System. IWMM/GIAE (2004)
Gregory J. Reid, Jianliang Tang, Lihong Zhi
A complete symbolic-numeric linear method for camera pose determination. ISSAC (2003)
Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi
Pseudofactors of multivariate polynomials. ISSAC (2000)
Lihong Zhi, Wenda Wu
Nearest Singular Polynomials. J. Symb. Comput. 26 (6) (1998)
Lihong Zhi
Optimal algorithm for algebraic factoring. J. Comput. Sci. Technol. 12 (1) (1997)