「計算機援用証明」を解説文に含む見出し語の検索結果(51～60/453件中)
オズワルド・ヴェブレン幾何学賞 (Oswald Veblen Prize in Geometry) は、アメリカ数学会から贈られる賞の一つ。オズワルド・ヴェブレンにちなんで創設された。一般に「ヴェブレ...
『周髀算経』（しゅうひさんけい）は、古代中国の数学書。九章算術とともに中国最古の数学書の1つとされている。本来は単に『周髀』（しゅうひ）と称されており、蓋天説（周髀説）を説明するために編纂された天文学...
ナビゲーションに移動検索に移動 四目並べのプレイの様子四目並べ（よんもくならべ）は、卓上で遊ぶゲームである。目次1 ルール1.1 重力付き四目並べ1.2 立体四目並べ2 類似のゲーム3 脚注4 外部リ...
ナビゲーションに移動検索に移動 四目並べのプレイの様子四目並べ（よんもくならべ）は、卓上で遊ぶゲームである。目次1 ルール1.1 重力付き四目並べ1.2 立体四目並べ2 類似のゲーム3 脚注4 外部リ...
数に関する記事の一覧（かずにかんするきじのいちらん）は、数に関する記事へのアクセスの一助とするものであり、全てを網羅するものではない。Category:数も参照。数の体系実数( R {\display...
数に関する記事の一覧（かずにかんするきじのいちらん）は、数に関する記事へのアクセスの一助とするものであり、全てを網羅するものではない。Category:数も参照。数の体系実数( R {\display...
.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...
数学ブレイクスルー賞（すうがくブレイクスルーしょう、Breakthrough Prize in Mathematics）は、2014年に創設されたブレイクスルー賞の一部門の学術賞。ユーリ・ミルナーの提...