CHENG JinSan
Research interests
Symbolic Computation/Computer Algebra, Computational Geometry, Computional Algebraic Geometry.
Currently, I focus on the following two topics.
Certified and efficient method for topology determination and
approximation of algebraic curves and surfaces.

Providing some new geometric technique, with symbolic and numeric
computation, determining the topology of, and efficiently
approximating of algebraic curves and surfaces. Approximating the intersection of two rational parametric surfaces with correct topology, controlled error efficiently.
Nonlinear system solving

With algebraic or geometric techniques to get the zeros or components (may include their multiplicities) of algebraic
polynomial system, isolating the zeros
of the system (zerodimensional case) or giving an
algebraic representation of the zeros. For zerodimensional case, one can get the zeros of the system only by
rootisolating of univariate polynomial equations from the algebraic
representation.

Isolating the real roots of a zerodimensional nonlinear system inside a box with numerical method
Education
2003.9–2006.7, Ph.D., Applied Mathematics, Academy of Mathematics and Systems Science, CAS
Supervisor: GAO XiaoShan
Dissertation: Topology determination and approximation of real algebraic curves and surfaces
2000.9–2003.7, M.Sci., Computational Mathematics, Institute of Mathematics, Jilin University
Supervisor: FENG Guochen
Dissertation: Blending pipe quadric surfaces via base curve method.
1996.9–2000.7, B.Sci., Computational Mathematics, Department of Mathematics, Jilin University
Selected publications
(Full list of publications available here)
 JinSan Cheng, Junyi Wen, Bingwei Zhang: Certified numerical real root isolation for bivariate nonlinear systems. Journal of Symbolic Computation, 114: 149171, 2023
 Qing Li, YuShen Liu, JinSan Cheng, Cheng Wang, Yi Fang, Zhizhong Han, HSurfNet: Normal Estimation for 3D Point Clouds by Learning Hyper Surfaces, Accepted by the 36th Conference on Neural Information Processing Systems (NeurIPS 2022).

Xiaohong Jia, Kai Li, JinSan Cheng: Computing the Intersection of Two Rational Surfaces Using Matrix Representations. Computer Aided Design, 150: 103303, 2022 .
 JinSan Cheng, Xiaojie Dou, Junyi Wen: A new deflation method for verifying the isolated singular zeros of polynomial systems. Journal of Computational and Applied Mathematics. 376: 112825, 2020.
 JinSan Cheng, Junyi Wen: Certified Numerical Real Root Isolation for Bivariate Polynomial Systems. ISSAC 2019: 9097.
 Xiaojie Dou, JinSan Cheng. A Heuristic Method for Certifying Isolated Zeros of Polynomial Systems. Mathematics 2018, 6, 166.
 JinSan Cheng, Kai Jin, A Generic Position Based Method for Real Root Isolation of ZeroDimensional Polynomial Systems, Journal of Symbolic Computation, 68:204224, 2015.
 Cheng, J.S., Jin, K., Lazard, D. Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method. Journal of Symbolic Computation, 58: 1840, 2013.
 Cheng, J.S., Gao, X.S.: Multiplicity Preserving Triangular Set Decomposition of Two Polynomials. Journal of Systems Science and Complexity, 27(6): 13201344, 2014.
 Shen, L., Cheng, J.S., Jia, X.: Homeomorphic approximation of the intersection curve of two rational surfaces. Computer Aided Geometric Design 29(8): 613625 (2012).
 Li, J., Cheng, J.S., Tsigaridas, E.P.: Local Generic Position for Root Isolation of ZeroDimensional Triangular Polynomial Systems. CASC 2012: 186197.
 Cheng, J.S., Gao, X.S., Guo, L. Root Isolation of Zerodimensional Polynomial Systems with Linear Univariate Representation. Journal of Symbolic Computation, 47(7): 843858 (2012).
 Cheng, J.S., Lazard, S., Penaranda, L., Pouget, M., Rouillier, F., and Tsigaridas, E. On the topology of planar algebraic curves, Mathematics in Computer Science, 2010(4):113137 (The full version of the conference paper of SoCG 2009 ).
 Cheng, J.S., Gao, X.S., Li, J. Root isolation for bivariate polynomial systems with local generic position method. ISSAC 2009: 103110.
 Cheng, J.S., Gao, X.S., Li, J. Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities. CASC 2009: 8993.
 Cheng, J.S., Gao, X.S., and Yap, C.K. Complete Numerical Isolation of Real Zeros in Zerodimensional
Triangular Systems, J. Symb. Comput. 44(7): 768785 (2009) (This is a complete version with new contents from the conference paper of ISSAC 2007).
 Cheng, J.S., Gao, X.S., and Li, M. Determining the Topology
of Real Algebraic Surfaces, Mathematics of Surfaces XI, R.
Martin, H. Bez, M. Sabin (editors), LNCS 3604, SpringerVerlag,
2005, pp. 121146.
Software Packages
Visual C++ software:
 Quadric surfaces blending (part of the Mathematics Mechanization Platform MMP).
 Pai (A certified numerical real root isolation software for multivariate nonlinear square systems, Linux only) and a simple user guider and the paper.
Maple packages:
Matlab packages:
Working experiences
 Associate Professor (Apr. 2014 ~ present): Key Lab of Mathematics Mechanization, Institute of Systems Science, CAS.
 Assistant Professor (Apr. 2009 ~ Mar. 2014): Key Lab of Mathematics Mechanization, Institute of Systems Science, AMSS, CAS.
 Postdoctor (Oct. 2007 ~ Mar. 2009): LORIA, INRIA Nancy  Grand Est, Nancy, France.
 Postdoctor (Jun. 2006 ~ Sep. 2007): Key Lab of Systems and Control, Institue of Systems Science, CAS.
Students
 PhD students: Kai Jin (2011 ~ 2014) , Xiaojie Dou (20132018), Junyi Wen (20152020)
 Master students: Wenjian Zhang (2017 ~ 2020), Xianhui Wu (20192022)
 PhD candidate: Bingwei Zhang (20182023)
 Master candidates: Xiwen Shi (2020 ~ 2023), Yisong Huang (2021~ 2024), Xi Wu (20222025)
Recent Activities
 Program Committee member, The 6th International Congress on Mathematical Software (ICMS'2018) will be held from July 2427 in University of Notre Dame, USA. We organize a session: Algorithms and applications for curves and surfaces .
 Program Committee member, International Workshop on Computer Algebra in Scitific Computing (CASC'2015) will be held from September 14 to 18 in Aachen, Germany.
 Program Committee member, International Workshop on SymbolicNumeric Computation (SNC'2014) will be held from July 28 to 31 in Shanghai, China.
 Program Committee member, The 4th International Congress on Mathematical Software (ICMS'2014) will be held from August 5 to 9 in Hanyang University, Seoul, Korea.
 Program Committee member, International Workshop on Computer Algebra in Scitific Computing (CASC'2014) will be held from September 8 to 12 in Warsaw, Poland.