MathLabs

ライブラリ

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