3 citations · 11 across the 9 of their papers we have counts for
9 papers
Certified Numerical Real Root Isolation of Zero-dimensional Multivariate Real Nonlinear Systems
Jin-San Cheng, Junyi Wen
Using the local geometrical properties of a given zero-dimensional square multivariate nonlinear system inside a box, we provide a simple but effective and new criterion for the un…
On the Complexity of Computing the Topology of Real Algebraic Space Curves
Kai Jin, Jin-San Cheng
In this paper, we present a deterministic algorithm to find a strong generic position for an algebraic space curve. We modify our existing algorithm for computing the topology of a…
A New Deflation Method For Verifying the Isolated Singular Zeros of Polynomial Systems
Jin-San Cheng, Xiaojie Dou, Junyi Wen
In this paper, we develop a new deflation technique for refining or verifying the isolated singular zeros of polynomial systems. Starting from a polynomial system with an isolated…
A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems
Jin-San Cheng, Kai Jin
We improve the local generic position method for isolating the real roots of a zero-dimensional bivariate polynomial system with two polynomials and extend the method to general ze…
Certified Rational Parametric Approximation of Real Algebraic Space Curves with Local Generic Position Method
Jin-San Cheng, Kai Jin, Xiao-Shan Gao +1
In this paper, an algorithm to compute a certified rational parametric approximation for algebraic space curves is given by extending the local generic position method for so…
Homeomorphic approximation of the intersection curve of two rational surfaces
Liyong shen, Jin-san Cheng, Xiaohong Jia
We present an approach of computing the intersection curve of two rational parametric surface and , one being projectable and hence can easily be…