「計算機援用証明」を解説文に含む見出し語の検索結果(101~110/453件中)
ケーララ学派(ケーララがくは[1]、英語:Kerala school of astronomy and mathematics)は、インドのケララ地方で活動した数学と天文学の学派。サン...
ケーララ学派(ケーララがくは[1]、英語:Kerala school of astronomy and mathematics)は、インドのケララ地方で活動した数学と天文学の学派。サン...
フランク・ネルソン・コール賞 (Frank Nelson Cole Prize) は、アメリカ数学会から贈られる賞の一つ。「コール賞」と略して呼ばれることが多い。代数部門と数論部門の二つがあり、過去6...
数学 > 数値解析 > 偏微分方程式の数値解法 > マルチグリッド法マルチグリッド(MG)法は、階層間での多段階の離散化を行うことで、滑らかな解を持つ微分方程式を解くため...
数学 > 数値解析 > 偏微分方程式の数値解法 > マルチグリッド法マルチグリッド(MG)法は、階層間での多段階の離散化を行うことで、滑らかな解を持つ微分方程式を解くため...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
モスクワ数学パピルスの14番目の問題 モスクワ数学パピルス(モスクワすうがくパピルス、Moscow Mathematical Papyrus)は、古代エジプトの数学文書。エジプト学者ウラジーミル・セミ...
モスクワ数学パピルスの14番目の問題 モスクワ数学パピルス(モスクワすうがくパピルス、Moscow Mathematical Papyrus)は、古代エジプトの数学文書。エジプト学者ウラジーミル・セミ...
モスクワ数学パピルスの14番目の問題 モスクワ数学パピルス(モスクワすうがくパピルス、Moscow Mathematical Papyrus)は、古代エジプトの数学文書。エジプト学者ウラジーミル・セミ...
モスクワ数学パピルスの14番目の問題 モスクワ数学パピルス(モスクワすうがくパピルス、Moscow Mathematical Papyrus)は、古代エジプトの数学文書。エジプト学者ウラジーミル・セミ...