Herbie es una aplicación (que tiene versión web gratuita) que recibe una expresión matemática y es capaz de optimizarla para que el resultado no pierda precision debido al uso de coma flotante. Por ejemplo, la expresión "sqrt(x+1) - sqrt(x)" es equivalente matemáticamente a "1/(sqrt(x+1) + sqrt(x))", pero los resultados al hacer el cálculo en un ordenador son diferentes. Con Herbie podemos reemplazar unas expresiones por otras que se funcionen mejor al ser calculadas.
|
etiquetas: coma flotante , floating point , precisión 
