Math Labs

ライブラリ

マップ
集合と集合演算分数と小数整除性、約数と倍数最大公約数・最小公倍数とユークリッドの互除法素数一次不定方程代数式と恒等式一次方程式二次方程式連立方程式関数とそのグラフ三角形とその特別な線四角形と多角形円タレスの定理とピタゴラスの定理鳩の巣原理記述統計学背理法古代の数学命題と論理的推論不等式指数関数と対数関数数列:等差数列と等比数列複素数三角形における三角比の関係三角法ベクトル平面における座標法3つの円錐曲線空間における座標空間における平行と垂直の関係多面体とその体積球・円柱・円錐幾何学的変換数列の極限関数の極限連続関数導関数導関数の応用原始関数定積分積分の応用数え上げの原理順列と組合せ二項定理事象と確率条件付き確率とベイズの定理数学的帰納法インド・イスラム・中国の数学述語論理写像と濃度再帰関数とチューリング機械平方剰余素数定理行列と行列式ベクトル空間固有値と対角化双線形形式と二次形式群論環と体微分幾何学距離空間位相空間、コンパクト性、連結性数列の級数と収束判定法べき級数とテイラー級数フーリエ級数偏微分と勾配重積分ベクトル解析複素関数論留数と留数定理一階微分方程式線形微分方程式微分方程系熱方程式波動方程式ラプラス方程式力学系の安定性平面グラフ確率変数と分布大数の法則と中心極限定理推定仮説検定回帰分析方程式の近似解法補間と近似微分方程式の数値解法線形計画法ラグランジュ力学とハミルトン力学天体力学:二体問題と三体問題19〜21世紀の数学ゲーデルの不完全性定理ZFC公理系順序数と基数証明支援系による形式証明(Lean)圏と関手合同式と合同算術(モジュラー演算)フェルマーの小定理とオイラーの定理中国剰余定理ペル方程式楕円曲線p進数とp進数論ガロア理論幾何学的群論射影幾何学非ユークリッド幾何学凸幾何学と離散幾何学ヒルベルト幾何学熱帯幾何学基本群オイラー標数結び目理論特殊関数調和解析学カオス理論包除原理母関数不変量と単調量グラフ、次数、道木グラフ彩色と四色定理ベイズ統計学確率過程とマルコフ連鎖凸最適化離散最適化最適輸送暗号理論情報理論計算複雑性理論:PとNP機械学習の数学ゲーム理論数理ファイナンス社会選択理論フリードマン方程式と相対論的宇宙論オリンピック不等式関数方程式オリンピック幾何学オリンピック数論オリンピック組合せ論場合分けと極値原理形式主義・直観主義・プラトニズムモデル理論型理論米田の補題フェルマーの最終定理リーマンゼータ関数とリーマン予想篩法円周法ゴールドバッハ予想数体と整数環モジュラー形式数論幾何学可換代数学表現論リー群とリー代数ホモロジー代数リーマン幾何学代数幾何学シンプレクティック幾何学ホモロジーとコホモロジー滑らかな多様体ポアンカレ予想測度論関数解析学作用素論特異積分とカルデロン=ジグムント理論変分法ナビエ–ストークス方程式エルゴード理論ラムゼー理論確率的方法セメレディの定理グリーン・タオの定理ブラウン運動と確率解析ランダム行列理論量子力学の数学的基礎ローレンツ幾何学ブラックホールの幾何学