Peter Franek - Verification of zeros of continuous functions that are known only approximately
Date: 09/12/2015 14:00
Place: Seminární místnost KNM
The problem of deciding whether a system of nonlinear equations is solvable is algorithmically undecidable in general. Numerical software is only capable of yielding incomplete, although effective, results. I will describe some tools for formal verification of the (non-)existence of solutions in systems of equations.