実験数学
実験数学の目的は、「理解と洞察を生み出すこと、予想を生み出し確認または比較すること、そして一般的に、専門の研究者と初心者の両方にとって数学をより具体的に、活発に、楽しくすること」である。
実験数学の用途は以下のように定義されている。
洞察力と直観力を身につける。
新しいパターンや関係性を発見する。
グラフ表示を使って数学の基本原理を示唆する。
予想を検証し、特にその誤りを示す。
可能性のある結果を探求して、それが正式な証明に値するかどうかを確認する。
形式的な証明のためのアプローチを提案する。
長時間の手作業による導出をコンピュータによる導出に置き換える。
解析的に導出された結果を確認する。