이 게시물은 Bjoern Bringmann과의 최근 토론에서 영감을 받았습니다. 기호 수학 소프트웨어 패키지는 대수학, 미적분학 및 수치 해석과 같은 분야의 많은 수학적 작업을 위해 고도로 개발되었습니다. 그러나, 내가 아는 한, 우리는 점근 적 추정치를 검증하기위한 유사하게 정교한 도구를 가지고 있지 않습니다 - 임의로 유지되어야하는 불평등 [...]