定理索引
名前の付いた定理・命題・補題・系の索引です（10136 件）。名前をクリックすると定理ごとのページ（主張・前提をたどる・これを使っている定理・閉包の状態）に、記事名をクリックすると本文の該当箇所に飛びます。印は閉包の状態です（✓ 公理まで証明済み、△ 証明あり（閉包未完）、※ 主張のみ。集計）。空白で区切ると AND 検索になります。
全 10136 件
数学 5972 件
- Coulomb 多体系と原子の数理 35
- Dirac 作用素と相対論的量子力学の数理 51
- Gibbs 測度と相転移の数理 84
- Lie 群と Lie 環の表現論 88
- グラフ理論 136
- コンパクト群の表現 71
- スペクトル・散乱理論 220
- フーリエ解析と超関数 128
- 位相空間論 180
- 可換環論 285
- 解析学（実解析） 188
- 確率論 192
- 関数解析と作用素論 338
- 共形場理論と頂点作用素代数 123
- 計算機援用証明 43
- 圏論・ホモロジー代数 250
- 高校数学：関数と微分積分 118
- 高校数学：場合の数・確率・統計 69
- 高校数学：図形と幾何 201
- 高校数学：数と式・整数・数列 98
- 作用素環と量子統計力学 258
- 常微分方程式 75
- 数学コラム 40
- 数学基礎 66
- 数値解析の基礎 62
- 数値線形代数 117
- 数理統計学 34
- 数理論理学と型理論 82
- 数論 147
- 線形代数学 134
- 組合せ論 76
- 多様体論 92
- 代数学（群・環・体） 139
- 代数幾何 I（多様体とスキーム） 105
- 代数幾何 II（層コホモロジー・曲線・交叉） 127
- 代数的位相幾何学 114
- 代数的整数論・類体論 159
- 特殊関数と漸近解析 68
- 微分位相 175
- 微分幾何学 183
- 微分積分学 126
- 複素関数論 176
- 複素幾何 118
- 偏微分方程式 71
- 未解決問題と大定理 216
- 有限体と符号 114
物理学 3563 件
- spin-boson 模型と開放量子系 53
- フォック空間と第二量子化 183
- 一般相対性理論 99
- 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 1026
- 格子フェルミオンの多体理論 68
- 格子場の理論 205
- 原子核・素粒子物理 42
- 固体物理 68
- 公理的場の量子論 115
- 構成的場の理論と Euclid 手法 192
- 構成的場の理論の原論文：反射正値性・クラスター展開・自明性 713
- 場の量子論 189
- 相対性理論 54
- 電磁気学 96
- 熱力学・統計力学 75
- 不定計量とゲージ場の量子化 115
- 物理学コラム 34
- 量子力学 60
- 量子力学 II 90
- 力学（古典力学・解析力学） 86
情報科学 601 件
- AI時代の生存戦略 19
- Claude Code の中身 53
- LLM アーキテクチャ 71
- アルゴリズムとデータ構造 57
- コンピュータサイエンス基礎 21
- ソフトウェア開発 32
- ソフトウェア設計とテスト 62
- 機械学習の数学 57
- 研究のための計算の実務 43
- 偏微分方程式の離散化 99
- 乱数と確率的数値計算 87
運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記