Herbie: повышение точности вычислений с плавающей запятой

Herbie: Повышение точности вычислений с плавающей запятой Павел Панчеха Вычисления с плавающей запятой требуют округления, поэтому они не идеально точны. Но степень неточности зависит от способа выполнения вычислений: два способа записи одной и той же математической формулы могут иметь совершенно разную точность. Herbie — это компилятор, который использует это свойство для компиляции математических формул в точные выражения с плавающей запятой. В докладе будет представлена ​​информация об ошибке вычислений с плавающей запятой, продемонстрирован Herbie, немного рассказано о принципах его работы и даны размышления о десяти годах разработки Herbie на языке Racket. Павел — доцент Университета Юты и разработчик Herbie.