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.
Comentarios
EDIT: fallo en TCL al parsear.
Sobre coma flotante, lo unico que lo he visto que lo entienda es cuando Scheme devolvia en resultado de forma fraccionada.
Parece tontería, pero los problemas de precisión son mucho más importantes de lo que parece (sobre todo los que se van acumulando con el tiempo). Pregúntale a ciertos misiles antiaereos, por poner un ejemplo.