34 citations · 59 across the 7 of their papers we have counts for
1 paper · 1 filter
Angelos Mantzaflaris, Bernard Mourrain
We develop a new symbolic-numeric algorithm for the certification of singular isolated points, using their associated local ring structure and certified numerical computations. An…