Focus is on the development of efficient algorithms. For this purpose, techniques of verified numerical computations and error-free numerical algorithms will be combined with algorithms in ...