On Automatically Proving the Correctness of Math.h Implementations [pdf]theory.stanford.edu4 pointsingve9 years ago