符号和数值混合计算是国际上计算机代数领域的核心内容之一，也是近十几年来发展最为迅速的一个研究方向。它是符号计算和数值计算的一种综合。符号计算可以准确地得到问题的完备解，但是在解决实际问题时，因为时间和存储空间的限制，很难真正发挥其强大的符号处理功能。另一方面，数值计算可以快速处理很多近似问题，但是一般不能得到全部解，不能确保计算结果的精确度。混合计算取两者之长，补两者之短，因而在计算机视觉、图像处理、机器人、数控等领域有着广泛的应用，可以满足航空航天、金融、石油勘探等领域对计算结果的高精度的需求。我们在基本代数计算的混合算法、求解数值多项式方程组的混合算法、多项式全局最优解的可信验证方面取得了一系列成果，设计和实现了若干误差可控的符号数值混合算法。这些新的混合算法将符号计算的准确性和完备性与数值计算的高效性相结合，解决了一些单独用符号计算或数值计算无法解决的问题。

​

基于符号和数值混合计算的可信计算研究

凸代数几何及其在机器学习、信号处理等领域的应用

070104-应用数学

符号和数值混合计算

1991-09--1996-07   中科院系统所   博士
1987-09--1991-09   北京大学数学系   本科

-- 研究生

-- 博士

• 2009——至今 中科院数学与系统科学研究院 研究员

• 2003——2009 中科院数学与系统科学研究院 副研究员

• 2001——2002 加拿大西安大略大学计算机系 博士后

• 1998——2001 日本爱媛大学计算机科学系 助理教授

• 1996——2003 中科院数学与系统科学研究院 助理研究员

1996-08~2011-06,中科院数学院, 研究员
1991-09~1996-07,中科院系统所, 博士
1987-09~1991-09,北京大学数学系, 本科

2016-03-01-今,编委, SIAM Journal on Applied Algebra and
2014-01-01-今,编委, 系统科学与数学
2009-01-01-今,编委, Mathematics in Computer Science
2009-01-01-今,编委, ACM Communications in Computer Algebra
2007-01-01-今,编委, Journal of Symbolic Computation

基于符号和数值混合计算的可信计算

   

（1） 2010年第七届中国青年女科学家奖, 院级, 2010

   

[1] 闫斯卓, 杨剑霆, 禺天石, 支丽红. A Characterization of Perfect Strategies for Mirror Games. International Symposisum on Symbolic and Algebraic Computation, 2023null. 2023, [2] Yang Zhengfeng, Zhao Hanrui, Zhi Lihong. VerifyRealRoots: A Matlab Package for Computing Verified Real Solutions of Polynomials Systems of Equations and Inequalities. JOURNAL OF SYSTEMS SCIENCE AND COMPLEXITY[J]. 2023, 36(2): 866-883, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=7551103&detailType=1.
[3] Li, Nan, Zhi, Lihong. Improved two-step Newton's method for computing simple multiple zeros of polynomial systems. NUMERICAL ALGORITHMS[J]. 2022, 91(1): 19-50, http://dx.doi.org/10.1007/s11075-022-01253-7.
[4] El Din, Mohab Safey, Yang, ZhiHong, Zhi, Lihong. Computing real radicals and S-radicals of polynomial systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2021, 102: 259-278, http://dx.doi.org/10.1016/j.jsc.2019.10.018.
[5] 李楠, 支丽红. 计算代数方程组孤立奇异解的符号数值方法. 中国科学:数学[J]. 2021, 51(1): 17-42, https://www.sciengine.com/doi/10.1360/SSM-2019-0289.
[6] Friedland, Shmuel, Ge, Jingtong, Zhi, Lihong. Quantum Strassen's theorem. INFINITE DIMENSIONAL ANALYSIS QUANTUM PROBABILITY AND RELATED TOPICS[J]. 2020, 23(3): https://www.webofscience.com/wos/woscc/full-record/WOS:000607113000004.
[7] Hao, Zhiwei, Jiang, Wenrong, Li, Nan, Zhi, Lihong. ON ISOLATION OF SIMPLE MULTIPLE ZEROS AND CLUSTERS OF ZEROS OF POLYNOMIAL SYSTEMS. MATHEMATICS OF COMPUTATION[J]. 2020, 89(322): 879-909, https://www.webofscience.com/wos/woscc/full-record/WOS:000504041600014.
[8] Wang, Chu, Zhi, Lihong. Lifts of Non-Compact Convex Sets and Cone Factorizations. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2020, 33(5): 1632-1655, http://lib.cqvip.com/Qikan/Article/Detail?id=7103514862.
[9] Wang Chu, Yang ZhiHong, Zhi Lihong. Global Optimization of Polynomials over Real Algebraic Sets. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2019, 32(1): 158-184, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292585.
[10] WANG Chu, YANG ZhiHong, ZHI Lihong. Global Optimization of Polynomials over Real Algebraic Sets. 系统科学与复杂性学报:英文版[J]. 2019, 32(1): 158-184, http://lib.cqvip.com/Qikan/Article/Detail?id=6100292585.
[11] El Din Mohab Safey, Yang ZhiHong, Zhi Lihong, Assoc Comp Machinery. On the complexity of computing real radicals of polynomial systems. ISSAC'18: PROCEEDINGS OF THE 2018 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATIONnull. 2018, 351-358, http://dx.doi.org/10.1145/3208976.3209002.
[12] Verschelde, Jan, Watt, Stephen M, Zhi, Lihong. TCS SNC Preface. THEORETICAL COMPUTER SCIENCE. 2017, 681: 1-2, http://dx.doi.org/10.1016/j.tcs.2017.03.023.
[13] Dumas JeanGuillaume, Kaltofen Erich L, Villard Gilles, Zhi Lihong, ACM. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits. PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17)null. 2017, 125-132, http://dx.doi.org/10.1145/3087604.3087640.
[14] Zhi, Lihong, Gerdt, VP, Koepf, W, Seiler, WM, Vorozhtsov, EV. Computing Multiple Zeros of Polynomial Systems: Case of Breadth One. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017null. 2017, 10490: 392-405, [15] Ma, Yue, Wang, Chu, Zhi, Lihong. A certificate for semidefinite relaxations in computing positive-dimensional real radical ideals. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2016, 72: 1-20, http://dx.doi.org/10.1016/j.jsc.2014.12.002.
[16] Guo, Feng, Wang, Chu, Zhi, Lihong. SEMIDEFINITE REPRESENTATIONS OF NONCOMPACT CONVEX SETS. SIAM JOURNAL ON OPTIMIZATION[J]. 2015, 25(1): 377-395, https://www.webofscience.com/wos/woscc/full-record/WOS:000352220900016.
[17] Li, Nan, Zhi, Lihong. VERIFIED ERROR BOUNDS FOR ISOLATED SINGULAR SOLUTIONS OF POLYNOMIAL SYSTEMS. SIAM JOURNAL ON NUMERICAL ANALYSIS[J]. 2014, 52(4): 1623-1640, https://www.webofscience.com/wos/woscc/full-record/WOS:000341571300008.
[18] Li, Nan, Zhi, Lihong. Verified error bounds for isolated singular solutions of polynomial systems: Case of breadth one. THEORETICAL COMPUTER SCIENCE[J]. 2013, 479: 163-173, http://dx.doi.org/10.1016/j.tcs.2012.10.028.
[19] Lihong Zhi. Computing rational solutions of linear matrix inequalities. Proc. 2013International Symposium on Symbolic and Algebraic Computation. 2013, [20] Kotsireas, Ilias S, Mourrain, Bernard, Pan, Victor Y, Zhi, Lihong. Symbolic-Numerical Algorithms Preface. THEORETICAL COMPUTER SCIENCEnull. 2013, 479: 1-3, https://www.webofscience.com/wos/woscc/full-record/WOS:000317320400001.
[21] Lihong Zhi. Approximate Determining singular solutions of polynomial systems via symbolic-numeric reduction to geometric involutive. Journal of Symbolic Computation. 2012, [22] Kaltofen, Erich L, Li, Bin, Yang, Zhengfeng, Zhi, Lihong. Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 47(1): 1-15, http://dx.doi.org/10.1016/j.jsc.2011.08.002.
[23] Greuet, Aurelien, Guo, Feng, El Din, Mohab Safey, Zhi, Lihong. Global optimization of polynomials restricted to a smooth variety using sums of squares. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 47(5): 503-518, http://dx.doi.org/10.1016/j.jsc.2011.12.003.
[24] Li, Nan, Zhi, Lihong. Computing the multiplicity structure of an isolated singular solution: Case of breadth one. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 47(6): 700-710, http://dx.doi.org/10.1016/j.jsc.2011.12.027.
[25] Li, Nan, Zhi, Lihong. COMPUTING ISOLATED SINGULAR SOLUTIONS OF POLYNOMIAL SYSTEMS: CASE OF BREADTH ONE. SIAM JOURNAL ON NUMERICAL ANALYSIS[J]. 2012, 50(1): 354-372, https://www.webofscience.com/wos/woscc/full-record/WOS:000300891000017.
[26] 支丽红. 符号和数值混合计算. 系统科学与数学[J]. 2008, 28(8): 1040-, http://lib.cqvip.com/Qikan/Article/Detail?id=27952194.
[27] Sun, Dongxia, Zhi, Lihong. Structured Low Rank Approximation of a Bezout Matrix. MATHEMATICS IN COMPUTER SCIENCE[J]. 2007, 1(2): 427-437, [28] Li Bingyu, Liu Zhuojun, Zhi Lihong, Wang D, Zhi L. Implementation of fast low rank approximation of a Sylvester matrix. SYMBOLIC-NUMERIC COMPUTATIONnull. 2007, 85-+, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000245736500006.
[29] Kaltofen, Ezich, Yang, Zhengfeng, Zhi, Lihong, Wang, D, Zhi, L. Structured low rank. approximation of a Sylvester matrix. SYMBOLIC-NUMERIC COMPUTATIONnull. 2007, 69-+, [30] 支丽红. Optimal Algorithm for Algebraic Factoring. 计算机科学技术学报：英文版[J]. 1997, 12(1): 1-, http://lib.cqvip.com/Qikan/Article/Detail?id=6795182.
[31] Kisun Lee, Nan Li, Lihong Zhi. On isolation of singular zeros of multivariate analytic systems. JOURNAL OF SYMBOLIC COMPUTATION. http://dx.doi.org/10.1016/j.jsc.2020.01.002.
[32] Guo, Feng, Wang, Chu, Zhi, Lihong. Semidefinite representations of non-compact convex sets. http://arxiv.org/abs/1401.1917.

   

（ 1 ） 数学机械化方法及其在数字化设, 参与, 国家级, 2011-01--2015-12
（ 2 ） 代数系统的准确、可信计算, 主持, 国家级, 2010-01--2013-12
（ 3 ） 基于符号-数值混合计算的误差可控算法及其应用, 主持, 国家级, 2012-01--2015-12
（ 4 ） 凸代数几何中的若干问题研究, 主持, 国家级, 2016-01--2019-12

已指导学生

李斌  硕士研究生  070101-基础数学  

吴晓丽  博士研究生  070101-基础数学  

马玥  博士研究生  070104-应用数学  

郭峰  博士研究生  070104-应用数学  

刘琦  硕士研究生  070104-应用数学  

李楠  博士研究生  070104-应用数学  

郭庆东  博士研究生  070104-应用数学  

现指导学生

李子佳  博士研究生  070104-应用数学  

王础  博士研究生  070104-应用数学  

姜文嵘  硕士研究生  070104-应用数学  

郝志伟  博士研究生  070104-应用数学  

杨志红  博士研究生  070104-应用数学