Verified error bounds for isolated singular solutions of polynomial systems: case of breadth one

From MaRDI portal
Publication:385011


DOI10.1016/j.tcs.2012.10.028zbMath1291.65161arXiv1201.3443MaRDI QIDQ385011

Mohammad Hasan, H. S. Yoon

Publication date: 29 November 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.3443


68W30: Symbolic computation and algebraic computation

65H10: Numerical computation of solutions to systems of equations

65G20: Algorithms with automatic result verification

13P15: Solving polynomial systems; resultants


Related Items


Uses Software


Cites Work