one of the most known implementation of validated numerics is intlab (interval laboratory). intlab was used to create other numerical libraries, and it was also used to solve the hundred-dollar, hundred-digit challenge problems.