「Formulas」を解説文に含む見出し語の検索結果(201～210/546件中)
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメ...
ドナルド・バードDonald Byrd基本情報出生名Donaldson Toussaint L'Ouverture Byrd II生誕 (1932-12-09) 1932年12月9日出身地 アメリカ合...
数学のドリンフェルト加群（ドリンフェルトかぐん、英: Drinfeld module）とは、有限体上の曲線上の関数からなる環上のある特殊な加群のことである。カーリッツ加群の一般化であり、楕円加...
ニュートン・コーツの公式（ニュートン・コーツのこうしき、英: Newton–Cotes formulae, Newton-Cotes rules）とは、等間隔の点における被積分関数の値に基づく...
ニュートン・コーツの公式（ニュートン・コーツのこうしき、英: Newton–Cotes formulae, Newton-Cotes rules）とは、等間隔の点における被積分関数の値に基づく...
ニュートン・コーツの公式（ニュートン・コーツのこうしき、英: Newton–Cotes formulae, Newton-Cotes rules）とは、等間隔の点における被積分関数の値に基づく...
.mw-parser-output .ib-chembox{border-collapse:collapse;text-align:left}.mw-parser-output .ib-chembox...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .ib-chembox{border-collapse:collapse;text-align:left}.mw-parser-output .ib-chembox...
S(x) と C(x)。C(x) の最大値は約 0.977451424。t2 の代わりに .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-...