基本信息
程进三 男 博导 中国科学院数学与系统科学研究院
电子邮件: jcheng@amss.ac.cn
通信地址: 北京市中关村东路55号
邮政编码: 100190
电子邮件: jcheng@amss.ac.cn
通信地址: 北京市中关村东路55号
邮政编码: 100190
招生信息
招生专业
070104-应用数学
招生方向
符号计算,计算代数几何
教育背景
2003-09--2006-06 中科院数学与系统科学研究院 博士
2000-09--2003-07 吉林大学数学所 硕士
1996-09--2000-07 吉林大学数学系 学士
2000-09--2003-07 吉林大学数学所 硕士
1996-09--2000-07 吉林大学数学系 学士
工作经历
工作简历
2007-10--2009-03 INRIA-Nancy, France 博士后
2006-06--2009-03 中科院系统控制重点实验室 博士后
2006-06--2009-03 中科院系统控制重点实验室 博士后
专利与奖励
专利成果
[1] 程进三, 文钧屹. 由电子设备执行的空间曲面求交的方法和电子设备. CN: CN112541158A, 2021-03-23.
出版信息
发表论文
[1] Cheng, JinSan, Wen, Junyi, Zhang, Bingwei. Certified numerical real root isolation for bivariate nonlinear systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2023, 114: 149-171, http://dx.doi.org/10.1016/j.jsc.2022.04.005.[2] 程进三, B. Zhang, Y Xiao, M Li. Topology-driven approximation to rational surface-surface intersection via interval algebraic topology analysis. SIGGRAPH( ACM Transactions on Graphics)[J]. 2023, [3] X Jia, K Li, 程进三. Computing the Intersection of Two Rational Surfaces Using Matrix Representations. Comput. Aided Des.[J]. 2022, [4] JIN Kai, CHENG Jinsan. On the Complexity of Computing the Topology of Real Algebraic Space Curves. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 34(2): 809-826, https://www.webofscience.com/wos/woscc/full-record/WOS:000608140200007.[5] Cheng, JinSan, Dou, Xiaojie, Wen, Junyi. A new deflation method for verifying the isolated singular zeros of polynomial systems. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS[J]. 2020, 376: http://dx.doi.org/10.1016/j.cam.2020.112825.[6] Cheng, JinSan, Wen, Junyi, ACM. Certified Numerical Real Root Isolation for Bivariate Polynomial Systems. PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19)null. 2019, 90-97, http://dx.doi.org/10.1145/3326229.3326237.[7] Jin-San Cheng. Xiaojie Dou, Jin-San Cheng, A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems. Mathematics 2018, 6(9), 166.. 2018, [8] Jin-San Cheng. Jin-San Cheng, Junyi Wen, Wenjian Zhang, Plotting Planar Implicit Curves and Its applications.. Proceeding of ICMS 2018, LNCS, 113-122. 2018, [9] Cheng JinSan, Wen Junyi, Zhang Wenjian, Davenport JH, Kauers M, Labahn G, Urban J. Plotting Planar Implicit Curves and Its Applications. MATHEMATICAL SOFTWARE - ICMS 2018null. 2018, 10931: 113-122, [10] Jin-San Cheng. Jin-San Cheng, Xiaojie Dou, Certifying Simple Zeros of Over-determined Polynomial Systems. Proceeding of The 19th International Workshop in Computer Algebra in Scientific Computing. 2017, [11] Cheng, JinSan, Jin, Kai. A generic position based method for real root isolation of zero-dimensional polynomial systems. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2015, 68: 204-224, http://dx.doi.org/10.1016/j.jsc.2014.09.017.[12] Jin-San Cheng. On the Topology and Visulization of Plane Algebraic Curves. 17th International Workshop on Computer Algebra in Scientific Computing. 2015, [13] Jin-San Cheng. Finding a Generic Position for an Algebraic Space Curve. 16th International Workshop on Computer Algebra in Scientific Computing. 2014, [14] JinSan Cheng, XiaoShan Gao. multiplicitypreservingtriangularsetdecompositionoftwopolynomials. JOURNALOFSYSTEMSSCIENCEANDCOMPLEXITY[J]. 2014, 27(6): 1320-, http://ir.amss.ac.cn/handle/2S8OKBNM/50161, http://www.irgrid.ac.cn/handle/1471x/6870855, http://ir.amss.ac.cn/handle/2S8OKBNM/50162.[15] Cheng, JinSan, Jin, Kai, Lazard, Daniel. Certified rational parametric approximation of real algebraic space curves with local generic position method. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2013, 58: 18-40, http://dx.doi.org/10.1016/j.jsc.2013.06.004.[16] Li Jia, Cheng JinSan, Tsigaridas Elias P, Gerdt VP, Koepf W, Mayr EW, Vorozhtsov EV. Local Generic Position for Root Isolation of Zero-Dimensional Triangular Polynomial Systems. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2012null. 2012, 7442: 186-197, [17] Cheng, JinSan, Gao, XiaoShan, Guo, Leilei. Root isolation of zero-dimensional polynomial systems with linear univariate representation. JOURNAL OF SYMBOLIC COMPUTATION[J]. 2012, 47(7): 843-858, http://dx.doi.org/10.1016/j.jsc.2011.12.011.[18] Shen, LiYong, Cheng, JinSan, Jia, Xiaohong, 申立勇. Homeomorphic approximation of the intersection curve of two rational surfaces. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2012, 29(8): 613-625, http://dx.doi.org/10.1016/j.cagd.2012.02.005.[19] Jin-San Cheng. Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. Computer Algebra in Scientific Computing 2009. 2009, [20] Jin-San Cheng. Root Isolation for Bivariate Polynomial Systems with Local Generic Position Method. Proceeding of ISSAC2009. 2009, [21] Cheng Jinsan, Lazard Sylvain, Penaranda Luis, Pouget Marc, Rouillier Fabrice, Tsigaridas Elias, ACM. On the Topology of Planar Algebraic Curves. PROCEEDINGS OF THE TWENTY-FIFTH ANNUAL SYMPOSIUM ON COMPUTATIONAL GEOMETRY (SCG'09)null. 2009, 361-370, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000267982900049.[22] Jin-San Cheng. Topology determination and isolation for implicit plane curves. Proceeding of 24th ACM Symposium on Applied Computing. 2009, [23] Jin-San Cheng. Complete Numerical Isolation of Real Zeros in General Triangular Systems. 2007, [24] 程进三, 高小山. 构造两个曲面的拼接曲面. 工程图学学报[J]. 2005, 26(1): 39-, http://lib.cqvip.com/Qikan/Article/Detail?id=11918505.[25] Jin-San Cheng. Determining the Topology of Real Algebraic Surfaces. Mathematics of Surfaces XI, LNCS3604. 2005, [26] Li, M, Gao, XS, Cheng, JS. Generating symbolic interpolants for scattered data with normal vectors. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2005, 20(6): 861-874, http://lib.cqvip.com/Qikan/Article/Detail?id=20592852.[27] Jin-San Cheng. Blending Quadric Surfaces via Base Curve Method. 2003, [28] Cheng, Jin-San, Gao, Xiao-Shan, Guo, Leilei. Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation. http://arxiv.org/abs/1102.4681.
科研活动
科研项目
(1) 代数方程组求解和代数曲线曲面的可信计算,主持,国家级,2011-01--2013-12