Программное обеспечение безошибочных дробно-рациональных вычислений и его применение для решения линейных систем