Algorithms with automatic result verification Error analysis and interval methods mathematics