3 citations · 11 across the 9 of their papers we have counts for
4 papers · 1 filter
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…
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…
Ambient Isotopic Meshing of Implicit Algebraic Surface with Singularities
Jin-San Cheng, Xiao-Shan Gao, Jia Li
A complete method is proposed to compute a certified, or ambient isotopic, meshing for an implicit algebraic surface with singularities. By certified, we mean a meshing with correc…