「Formulas」を解説文に含む見出し語の検索結果(191～200/546件中)
数学の分野におけるガウス＝クズミン＝ヴィルズィング作用素（ガウス＝クズミン＝ヴィルズィングさようそ、英: Gauss–Kuzmin–Wirsing operator）とは、カール・ガウス、ロデ...
Kathleen Bardovi-Harlig人物情報生誕 (1955-11-10) 1955年11月10日（70歳） アメリカ合衆国ロサンゼルス出身校カリフォルニア州立大学ノースリッジ校シカゴ大学学...
.mw-parser-output .ib-chembox{border-collapse:collapse;text-align:left}.mw-parser-output .ib-chembox...
ジョージ・アンドリューズ 2009ジョージ・アンドリューズ（英語: George Andrews、1938年12月4日 - ）は、アメリカ合衆国の数学者。専門は、特殊関数・数論（特に自然数の分...
ジョージ・アンドリューズ 2009ジョージ・アンドリューズ（英語: George Andrews、1938年12月4日 - ）は、アメリカ合衆国の数学者。専門は、特殊関数・数論（特に自然数の分...
スキューズ数（スキューズすう、Skewes number）は、南アフリカの数学者スタンレー・スキューズが素数の個数に関する研究において用いた、極めて大きな数である。具体的には、x 以下の素数の個数 &...
スコット・パタースンScott Patterson生誕 (1969-12-29) 1969年12月29日（54歳）職業=ジャーナリスト、作家テンプレートを表示スコット・パタースン（Scott Patt...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
デービス・パトナムのアルゴリズム（英: Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象とする。アメ...