1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CG2022★ 1 cited
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…
cs.SC2018
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…