부동소수점 알고리즘을 이용한 직각삼각형의 빗변 계산에 대한 효과적인 2차 오차 한계

부동소수점 연산을 사용하는 간단한 함수에 대한 오차 분석을 자동화하기 위한 도구를 제공한다. 단위 반올림 오차의 함수로 표현된 상대 오차 한계를 얻는 것이 목표이다.