Many calculations involving real or complex numbers can be done provably correctly by combining mathematical error bounds with a rigorous error propagation scheme (interval arithmetic or ball arithmetic). An ongoing research subject is to develop efficient algorithms and software implementations in this setting.