herbie (racket): A tool for automatically improving the accuracy of floating point expressions
Keywords: floating-point|synthesis|developer-tools|herbie|numerical-methods|racket