道具と技術
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/22 08:08 UTC 版)
実験数学では、積分や無限級数の近似値を計算するために数値解析を用いる。これらの値を高精度（通常100桁以上の有効数字）に設定するために、任意精度演算がしばしば用いられる。そして、これらの値と数学定数との関係を探索するために、整数関係アルゴリズムが使用される。高精度の値を用いることで、数学的な偶然の一致を真の関係と見誤る可能性を低くすることができる。予想される関係の形式がわかれば、形式的な証明は容易に見つかることが多い。 反例を求める場合、あるいは大規模な網羅的証明を試みる場合には、分散コンピューティング技術を利用して複数のコンピュータで計算を分担することもある。 一般的な数学ソフトウェアや、高効率が要求される問題の攻略のために書かれた特定分野のソフトウェアが頻繁に使用される。実験用数学ソフトウェアには通常、ハードウェアやソフトウェアのエラーによって結果が無効になる可能性を最小限に抑えるために設計された誤り検出訂正メカニズム、完全性チェック、冗長計算が含まれている。
※この「道具と技術」の解説は、「実験数学」の解説の一部です。
「道具と技術」を含む「実験数学」の記事については、「実験数学」の概要を参照ください。
ウィキペディア小見出し辞書の「道具と技術」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 道具と技術のページへのリンク
