Certifying inconsistency of sparse linear systems
Efficient algorithms for computing the nearest polynomial with constrained roots