「計算機援用証明」を解説文に含む見出し語の検索結果(31~40/446件中)
オーバーヴォルファッハ数学研究所図書館と、メインの建物、バンガローエントランス正式名称Mathematisches Forschungsinstitut Oberwolfach日本語名称オーバーヴォル...
オーバーヴォルファッハ数学研究所図書館と、メインの建物、バンガローエントランス正式名称Mathematisches Forschungsinstitut Oberwolfach日本語名称オーバーヴォル...
ナビゲーションに移動検索に移動オーレン・パタシュニク(Oren Patashnik、1954年 - )は、アメリカ合衆国の計算機科学者である。BibTeXの作者の一人、Concrete Mathema...
ナビゲーションに移動検索に移動オーレン・パタシュニク(Oren Patashnik、1954年 - )は、アメリカ合衆国の計算機科学者である。BibTeXの作者の一人、Concrete Mathema...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
クレイ研究賞(クレイけんきゅうしょう, Clay Research Award)は、クレイ数学研究所が毎年与えている数学の賞である。対象となるのは優れた業績をあげた数学者である。アーベル賞やウルフ賞な...
ヨーロッパ数学会(英語:European Mathematical Society、略称:EMS)は、ヨーロッパにおける数学の発達を主な活動とするヨーロッパの組織。ヨーロッパの数学系学会、学術機関、お...