Lihong Zhi - RankMe

82 papers B 28Journal 45Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A field-theoretic view of unlabeled sensing. J. Symb. Comput. Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
2026	J	`jnl`	Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving. CoRR Ruichen Qiu, Yichuan Cao, Junqi Liu, Dakai Guo, Xiao-Shan Gao, Lihong Zhi, Ruyong Feng
2026	J	`jnl`	Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics. CoRR Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li
2025	J	`jnl`	A Combinatorial Identities Benchmark for Theorem Proving via Automated Theorem Generation. CoRR Beibei Xiong, Hangyu Lv, Haojia Shan, Jianlin Wang, Zhengfeng Yang, Lihong Zhi
2025	B	`conf`	A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games. ISSAC Tianshi Yu, Lihong Zhi
2025	J	`jnl`	CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics. CoRR Junqi Liu, Xiaohan Lin, Jonas Bayer, Yael Dillies, Weijie Jiang, Xiaodan Liang, Roman Soletskyi, Haiming Wang, Yunzhou Xie, Beibei Xiong, Zhengfeng Yang, Jujian Zhang, Lihong Zhi, Jia Li, Zhengying Liu
2025	J	`jnl`	Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. ACM Trans. Program. Lang. Syst. Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2024	J	`jnl`	The integral closure of a primary ideal is not always primary. J. Symb. Comput. Nan Li, Zijia Li, Zhi-Hong Yang, Lihong Zhi
2024	J	`jnl`	Two-step Newton's method for deflation-one singular zeros of analytic systems. J. Symb. Comput. Kisun Lee, Nan Li, Lihong Zhi
2024	B	`conf`	Unlabeled Sensing Using Rank-One Moment Matrix Completion. ISSAC Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
2024	B	`conf`	Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. ISSAC Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
2024	J	`jnl`	Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets. CoRR Zihao Dai, Zijia Li, Zhi-Hong Yang, Lihong Zhi
2023	B	`conf`	A Characterization of Perfect Strategies for Mirror Games. ISSAC Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi
2023	J	`jnl`	A Field-Theoretic Approach to Unlabeled Sensing. CoRR Hao Liang, Jingyu Lu, Manolis C. Tsakiris, Lihong Zhi
2023	—	`conf`	Lower Bounds of Functions on Finite Abelian Groups. COCOON (2) Jianting Yang, Ke Ye, Lihong Zhi
2023	J	`jnl`	Synthesizing Invariants for Polynomial Programs by Semidefinite Programming. CoRR Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang
2023	J	`jnl`	Two-step Newton's method for deflation-one singular zeros of analytic systems. CoRR Kisun Lee, Nan Li, Lihong Zhi
2023	J	`jnl`	VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. J. Syst. Sci. Complex. Zhengfeng Yang, Hanrui Zhao, Lihong Zhi
2022	J	`jnl`	A Vergleichsstellensatz of Strassen's Type for a Noncommutative Preordered Semialgebra through the Semialgebra of its Fractions. CoRR Tao Zheng, Lihong Zhi
2022	B	`ed.`	ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022 ISSAC Marc Moreno Maza, Lihong Zhi
2022	J	`jnl`	Improved two-step Newton's method for computing simple multiple zeros of polynomial systems. Numer. Algorithms Nan Li, Lihong Zhi
2021	J	`jnl`	Computing real radicals and J. Symb. Comput. Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
2020	B	`ed.`	ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020 ISSAC Ioannis Z. Emiris, Lihong Zhi
2020	J	`jnl`	Lifts of Non-Compact Convex Sets and Cone Factorizations. J. Syst. Sci. Complex. Chu Wang, Lihong Zhi
2020	J	`jnl`	On isolation of simple multiple zeros and clusters of zeros of polynomial systems. Math. Comput. Zhiwei Hao, Wenrong Jiang, Nan Li, Lihong Zhi
2020	J	`jnl`	Symmetric Tensor Decompositions On Varieties. CoRR Jiawang Nie, Ke Ye, Lihong Zhi
2019	J	`jnl`	Global Optimization of Polynomials over Real Algebraic Sets. J. Syst. Sci. Complex. Chu Wang, Zhi-Hong Yang, Lihong Zhi
2019	J	`jnl`	Synthesizing More Expressive Invariants by Semidefinite Programming. CoRR Qiuye Wang, Lihong Zhi, Naijun Zhan, Bai Xue, Zhi-Hong Yang
2018	B	`conf`	On the Complexity of Computing Real Radicals of Polynomial Systems. ISSAC Mohab Safey El Din, Zhi-Hong Yang, Lihong Zhi
2017	B	`conf`	Computing Multiple Zeros of Polynomial Systems: Case of Breadth One (Invited Talk). CASC Lihong Zhi
2017	B	`conf`	Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. ISSAC Jean-Guillaume Dumas, Erich L. Kaltofen, Gilles Villard, Lihong Zhi
2017	J	`jnl`	TCS SNC Preface. Theor. Comput. Sci. Jan Verschelde, Stephen M. Watt, Lihong Zhi
2016	J	`jnl`	A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. J. Symb. Comput. Yue Ma, Chu Wang, Lihong Zhi
2016	B	`conf`	Numerical Sparsity Determination and Early Termination. ISSAC Zhiwei Hao, Erich L. Kaltofen, Lihong Zhi
2015	B	`conf`	Optimization Problems over Noncompact Semialgebraic Sets. ISSAC Lihong Zhi
2015	B	`conf`	Optimizing a Parametric Linear Function over a Non-compact Real Algebraic Variety. ISSAC Feng Guo, Mohab Safey El Din, Chu Wang, Lihong Zhi
2015	J	`jnl`	Semidefinite Representations of Noncompact Convex Sets. SIAM J. Optim. Feng Guo, Chu Wang, Lihong Zhi
2014	—	`conf`	Optimizing a linear function over a noncompact real algebraic variety. SNC Feng Guo, Chu Wang, Lihong Zhi
2014	—	`ed.`	Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014 SNC Lihong Zhi, Stephen M. Watt
2014	B	`conf`	Symbolic-numeric algorithms for computing validated results. ISSAC Lihong Zhi
2014	J	`jnl`	Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems. SIAM J. Numer. Anal. Nan Li, Lihong Zhi
2013	B	`conf`	Computing rational solutions of linear matrix inequalities. ISSAC Qingdong Guo, Mohab Safey El Din, Lihong Zhi
2013	J	`jnl`	Computing the nearest singular univariate polynomials with given root multiplicities. Theor. Comput. Sci. Zijia Li, Lihong Zhi
2013	J	`jnl`	Preface. Theor. Comput. Sci. Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi
2013	J	`jnl`	Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one. Theor. Comput. Sci. Nan Li, Lihong Zhi
2013	B	`conf`	Verified error bounds for real solutions of positive-dimensional polynomial systems. ISSAC Zhengfeng Yang, Lihong Zhi, Yijun Zhu
2012	B	`conf`	Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions. ISSAC Feng Guo, Erich L. Kaltofen, Lihong Zhi
2012	J	`jnl`	Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One. SIAM J. Numer. Anal. Nan Li, Lihong Zhi
2012	B	`conf`	Computing real solutions of polynomial systems via low-rank moment matrix completion. ISSAC Yue Ma, Lihong Zhi
2012	J	`jnl`	Computing the multiplicity structure of an isolated singular solution: Case of breadth one. J. Symb. Comput. Nan Li, Lihong Zhi
2012	J	`jnl`	Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive forms. J. Symb. Comput. Xiaoli Wu, Lihong Zhi
2012	J	`jnl`	Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. J. Symb. Comput. Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
2012	J	`jnl`	Global optimization of polynomials restricted to a smooth variety using sums of squares. J. Symb. Comput. Aurélien Greuet, Feng Guo, Mohab Safey El Din, Lihong Zhi
2011	B	`conf`	The minimum-rank gram matrix completion via modified fixed point continuation method. ISSAC Yue Ma, Lihong Zhi
2010	B	`conf`	Blind image deconvolution via fast approximate GCD. ISSAC Zijia Li, Zhengfeng Yang, Lihong Zhi
2010	J	`jnl`	Computing Rational Points in Convex Semialgebraic Sets and Sum of Squares Decompositions. SIAM J. Optim. Mohab Safey El Din, Lihong Zhi
2010	B	`conf`	Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method. ISSAC Sharon Hutton, Erich L. Kaltofen, Lihong Zhi
2010	B	`conf`	Global optimization of polynomials using generalized critical values and sums of squares. ISSAC Feng Guo, Mohab Safey El Din, Lihong Zhi
2010	J	`jnl`	The Minimum-Rank Gram Matrix Completion via Fixed Point Continuation Method CoRR Yue Ma, Lihong Zhi
2009	—	`conf`	A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions. SNC Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2009	J	`jnl`	Computing rational points in convex semi-algebraic sets and SOS decompositions CoRR Mohab Safey El Din, Lihong Zhi
2009	J	`jnl`	Solving polynomial systems via symbolic-numeric reduction to geometric involutive form. J. Symb. Comput. Greg Reid, Lihong Zhi
2008	J	`jnl`	Approximate GCDs of polynomials and sparse SOS relaxations. Theor. Comput. Sci. Bin Li, Jiawang Nie, Lihong Zhi
2008	J	`jnl`	Approximate factorization of multivariate polynomials using singular value decomposition. J. Symb. Comput. Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
2008	B	`conf`	Computing the multiplicity structure from geometric involutive form. ISSAC Xiaoli Wu, Lihong Zhi
2008	B	`conf`	Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars. ISSAC Erich L. Kaltofen, Bin Li, Zhengfeng Yang, Lihong Zhi
2007	J	`jnl`	A fast algorithm for solving the Sylvester structured total least squares problem. Signal Process. Bingyu Li, Zhuojun Liu, Lihong Zhi
2007	—	`conf`	Approximate GCDs of polynomials and SOS relaxation. SNC Bin Li, Jiawang Nie, Lihong Zhi
2007	J	`jnl`	Foreword. Math. Comput. Sci. Dongming Wang, Lihong Zhi
2007	—	`conf`	Lower bounds for approximate factorizations via semidefinite programming: (extended abstract). SNC Erich L. Kaltofen, Bin Li, Kartik Sivaramakrishnan, Zhengfeng Yang, Lihong Zhi
2007	—	`conf`	Numerical optimization in hybrid symbolic-numeric computation. SNC Lihong Zhi
2007	—	`conf`	On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms. SNC Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2007	J	`jnl`	Structured Low Rank Approximation of a Bezout Matrix. Math. Comput. Sci. Dongxia Sun, Lihong Zhi
2006	B	`conf`	Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials. ISSAC Erich L. Kaltofen, Zhengfeng Yang, Lihong Zhi
2006	B	`conf`	Hybrid symbolic-numeric computation. ISSAC Erich L. Kaltofen, Lihong Zhi
2004	B	`conf`	Approximate factorization of multivariate polynomials via differential equations. ISSAC Shuhong Gao, Erich L. Kaltofen, John P. May, Zhengfeng Yang, Lihong Zhi
2004	—	`conf`	Hybrid Method for Solving New Pose Estimation Equation System. IWMM/GIAE Gregory J. Reid, Jianliang Tang, Jianping Yu, Lihong Zhi
2004	J	`jnl`	QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Process. Robert M. Corless, Stephen M. Watt, Lihong Zhi
2003	B	`conf`	A complete symbolic-numeric linear method for camera pose determination. ISSAC Gregory J. Reid, Jianliang Tang, Lihong Zhi
2000	B	`conf`	Pseudofactors of multivariate polynomials. ISSAC Yuzhen Huang, Wenda Wu, Hans J. Stetter, Lihong Zhi
1998	J	`jnl`	Nearest Singular Polynomials. J. Symb. Comput. Lihong Zhi, Wenda Wu
1997	J	`jnl`	Optimal algorithm for algebraic factoring. J. Comput. Sci. Technol. Lihong Zhi