Lihong Zhi

• Affiliations:

• Dept. of Computer Science, Ehime University, Matsuyama 7908577, Japan;Key Laboratory of Mathematics Mechanization, Beijing, China;Key Lab of Mathematics Mechanization, AMSS, Beijing, China;Academy of Mathematics and Systems Science, Beijing, China;Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, Beijing 100080, China;AMSS, Beijing, China;Chinese Academy of Sciences, Beijing, China;Key Laboratory of Mathematics Mechanization, AMSS, Beijing 100080, China;Key Lab of Mathematics Mechanization, AMSS, Beijing 100080, China;Key Laboratory of Mathematics Mechanization, AMSS, Beijing, China;Key Lab of Mathematics Mechanization, AMSS, Beijing 100190, China;lzhi@mmrc.iss.ac.cn;Key Laboratory of Mathematics Mechanization, AMSS, Beijing 100190, China;Key Laboratory of Mathematics Mechanization, AMSS Beijing, China

• Organizations:

• China Nat. Pet. Corp.;Corporate Research Beijing;Corporate Research Beijing;Corporate Research Beijing;Corporate Research Beijing;Corporate Research Beijing;Corporate Research Beijing;CUNY City College and Dept. of Computer Science;Ehime University;Beijing 100080 China and University of Southern Queensland;Beijing 100080 China and University of Southern Queensland;Beijing 100080 China and University of Southern Queensland;Academy of Mathematics and Systems Science and Graduate University of Chinese Academy of Sciences;

• Fields:
• polynomial system multivariate polynomial benchmark polynomial complex polynomial nearest singular polynomial polynomial equation hybrid symbolic-numeric algorithm approximate factorization real root real solution

• Pseudofactors of multivariate polynomials

  Yuzhen Huang;Wenda Wu;Hans J. Stetter;Lihong Zhi

  ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

• A complete symbolic-numeric linear method for camera pose determination

  Greg Reid;Jianliang Tang;Lihong Zhi

  ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

• Approximate factorization of multivariate polynomials via differential equations

  Shuhong Gao;Erich Kaltofen;John May;Zhengfeng Yang;Lihong Zhi

  ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation

• Hybrid symbolic-numeric computation

  Erich Kaltofen;Lihong Zhi

  Proceedings of the 2006 international symposium on Symbolic and algebraic computation

• Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials

  Erich Kaltofen;Zhengfeng Yang;Lihong Zhi

  Proceedings of the 2006 international symposium on Symbolic and algebraic computation

• Symbolic-Numeric Computation (Trends in Mathematics)

  Dongming Wang;Li-Hong Zhi

  Symbolic-Numeric Computation (Trends in Mathematics)

• A fast algorithm for solving the Sylvester structured total least squares problem

  Bingyu Li;Zhuojun Liu;Lihong Zhi

  Signal Processing

• On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms

  Erich Kaltofen;Zhengfeng Yang;Lihong Zhi

  Proceedings of the 2007 international workshop on Symbolic-numeric computation

• Numerical optimization in hybrid symbolic-numeric computation

  Lihong Zhi

  Proceedings of the 2007 international workshop on Symbolic-numeric computation

• Lower bounds for approximate factorizations via semidefinite programming: (extended abstract)

  Erich Kaltofen;Bin Li;Kartik Sivaramakrishnan;Zhengfeng Yang;Lihong Zhi

  Proceedings of the 2007 international workshop on Symbolic-numeric computation

• Approximate GCDs of polynomials and SOS relaxation

  Bin Li;Jiawang Nie;Lihong Zhi

  Proceedings of the 2007 international workshop on Symbolic-numeric computation

• A structured rank-revealing method for Sylvester matrix

  Bingyu Li;Zhuojun Liu;Lihong Zhi

  Journal of Computational and Applied Mathematics

• Approximate factorization of multivariate polynomials using singular value decomposition

  Erich Kaltofen;John P. May;Zhengfeng Yang;Lihong Zhi

  Journal of Symbolic Computation

• Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars

  Erich Kaltofen;Bin Li;Zhengfeng Yang;Lihong Zhi

  Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

• Computing the multiplicity structure from geometric involutive form

  Xiaoli Wu;Lihong Zhi

  Proceedings of the twenty-first international symposium on Symbolic and algebraic computation

• Approximate GCDs of polynomials and sparse SOS relaxations

  Bin Li;Jiawang Nie;Lihong Zhi

  Theoretical Computer Science

• Solving polynomial systems via symbolic-numeric reduction to geometric involutive form

  Greg Reid;Lihong Zhi

  Journal of Symbolic Computation

• A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions

  Erich Kaltofen;Zhengfeng Yang;Lihong Zhi

  Proceedings of the 2009 conference on Symbolic numeric computation

• Global optimization of polynomials using generalized critical values and sums of squares

  Feng Guo;Mohab Safey El Din;Lihong Zhi

  Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

• Blind image deconvolution via fast approximate GCD

  Zijia Li;Zhengfeng Yang;Lihong Zhi

  Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

• 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

  Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation

• The minimum-rank gram matrix completion via modified fixed point continuation method

  Yue Ma;Lihong Zhi

  Proceedings of the 36th international symposium on Symbolic and algebraic computation

• 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

  Journal of Symbolic Computation

• Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions

  Mohab Safey El Din;Lihong Zhi

  SIAM Journal on Optimization

• Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms

  Xiaoli Wu;Lihong Zhi

  Journal of Symbolic Computation

• Hybrid method for solving new pose estimation equation system

  Greg Reid;Jianliang Tang;Jianping Yu;Lihong Zhi

  IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications

• Global optimization of polynomials restricted to a smooth variety using sums of squares

  Aurélien Greuet;Feng Guo;Mohab Safey El Din;Lihong Zhi

  Journal of Symbolic Computation

• Computing the multiplicity structure of an isolated singular solution: Case of breadth one

  Nan Li;Lihong Zhi

  Journal of Symbolic Computation

• QR factoring to compute the GCD of univariate approximate polynomials

  R.M. Corless;S.M. Watt;Lihong Zhi

  IEEE Transactions on Signal Processing

• Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One

  Nan Li;Lihong Zhi

  SIAM Journal on Numerical Analysis

• Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions

  Feng Guo;Erich L. Kaltofen;Lihong Zhi

  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation

• Computing real solutions of polynomial systems via low-rank moment matrix completion

  Yue Ma;Lihong Zhi

  Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation

• Computing the nearest singular univariate polynomials with given root multiplicities

  Zijia Li;Lihong Zhi

  Theoretical Computer Science

• Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one

  Nan Li;Lihong Zhi

  Theoretical Computer Science

• Preface

  Ilias S. Kotsireas;Bernard Mourrain;Victor Y. Pan;Lihong Zhi

  Theoretical Computer Science

• Computing rational solutions of linear matrix inequalities

  Qingdong Guo;Mohab Safey EI Din;Lihong Zhi

  Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

• Verified error bounds for real solutions of positive-dimensional polynomial systems

  Zhengfeng Yang;Lihong Zhi;Yijun Zhu

  Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation