Методы и инструменты для точных приближений в вычислениях