この投稿は、Bjoern Bringmannとの討議に触発されました。記号数学ソフトウェア・パッケージは、代数、微積分、数値解析などの領域における多くの数学的任務に対して開発されています。ただし、私の知識では、漸近評価の検証──任意の大きさの値に対して成り立つとされる不等式──に対する同様に洗練されたツールが存在しないと考えられます。