점근적 추정의 검증을 자동화하는 Python 도구
2025-05-02
이 글에서는 덧셈, 곱셈, 나눗셈, 거듭제곱, 최소값/최댓값 등의 산술 연산을 사용하여 결합된 유한 개의 양의 실수를 포함하는 점근적 추정, 특히 이러한 추정을 자동으로 검증하기 위한 Python 도구에 대해 설명합니다. 이 도구는 케이스 분할과 선형 계획법을 사용하여 부등식이 성립하는지 자동으로 판단하고 증명 또는 반례를 제공합니다. 저자는 자신의 경험을 바탕으로 도구의 유용성을 보여주고, 보다 복잡한 식을 처리하거나 기존 수학 소프트웨어 플랫폼에 통합하는 등의 향후 개선 사항에 대해 논의합니다.