Yeah I've noticed that pattern when I implement numerical algorithms by hand. A lot of the time they're pretty simple. But you need the analysis to be confident

Yeah I've noticed that pattern when I implement numerical algorithms by hand. A lot of the time they're pretty simple. But you need the analysis to be confident that it will work. A point in favor of formal CS / applied math :)