「計算機援用証明」を解説文に含む見出し語の検索結果(71~80/453件中)
ナビゲーションに移動検索に移動微分方程式ナビエ–ストークス微分方程式、障害物のまわりの気流をシミュレートするのに用いられる。範囲.mw-parser-output .hlist ul,.mw-pars...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
ナビゲーションに移動検索に移動エジプト数学(エジプトすうがく、Egyptian mathematics)とは、紀元前3000年から紀元前300年頃の古代エジプトにおいて、主にエジプト語を用いて行われた...
ナビゲーションに移動検索に移動エジプト数学(エジプトすうがく、Egyptian mathematics)とは、紀元前3000年から紀元前300年頃の古代エジプトにおいて、主にエジプト語を用いて行われた...
ナビゲーションに移動検索に移動エジプト数学(エジプトすうがく、Egyptian mathematics)とは、紀元前3000年から紀元前300年頃の古代エジプトにおいて、主にエジプト語を用いて行われた...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
ナビゲーションに移動検索に移動シュヴァルツ交代法(シュヴァルツこうたいほう、英語: Schwarz alternating method)とは、偏微分方程式を反復法で解く場合の領域分割法の1種...
ナビゲーションに移動検索に移動シュヴァルツ交代法(シュヴァルツこうたいほう、英語: Schwarz alternating method)とは、偏微分方程式を反復法で解く場合の領域分割法の1種...
チャーン賞 (Chern Medal) は、国際数学者会議 (ICM) で数学者に授与される賞の一つ。生涯にわたる群を抜く業績を挙げた数学者に贈られるものとされる[1]。チャーン賞は、...
チャーン賞 (Chern Medal) は、国際数学者会議 (ICM) で数学者に授与される賞の一つ。生涯にわたる群を抜く業績を挙げた数学者に贈られるものとされる[1]。チャーン賞は、...