計算機と論理--推論と証明のプログラミング (計算機と数学<特集>)

スポンサーリンク

概要

• 論文の詳細を見る
• サイエンス社の論文

サイエンス社 | 論文

• 可積分系と重力 (特集 可積分系の世界--数理物理を語るための知のツール)
• 重力理論入門(18)宇宙論的スケールの重力--ダークエネルギーは幻影か?
• 重力理論入門(17)ミクロスケールの重力
• 重力理論入門(16)素粒子統一理論と重力
• 時空の次元--高次元宇宙論の観点から (特集 「時空」への問いかけ--隠れた次元のミステリー)

もっと見る

スポンサーリンク