「数学的な証明」を解説文に含む見出し語の検索結果(1~10/22件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/09/18 15:52 UTC 版)「オイラー力」の記事における「数学的な証明」の解説詳細は「回転座標系」を参照 オイラー加...
別表記:コーラレリ「corollary」の意味・「corollary」とは「corollary」とは、一つの事実や原理から自然に導き出される結論や結果を指す英単語である。数学や論理学で頻繁に用いられ、...
別表記:コーラレリ「corollary」の意味・「corollary」とは「corollary」とは、一つの事実や原理から自然に導き出される結論や結果を指す英単語である。数学や論理学で頻繁に用いられ、...
別表記:マステマティカル「mathematical」の意味・「mathematical」とは「mathematical」は英語の形容詞で、数学に関連した、または数学的なという意味を持つ。数学的な思考、...
別表記:マステマティカル「mathematical」の意味・「mathematical」とは「mathematical」は英語の形容詞で、数学に関連した、または数学的なという意味を持つ。数学的な思考、...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/25 14:42 UTC 版)「Disquisitiones Arithmeticae」の記事における「意義と影響」の...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/12 05:10 UTC 版)「ミラー対称性 (弦理論)」の記事における「証明されたミラー対称性」の解説1990年、エ...
Agdaパラダイム(証明支援システム)最新リリース2.6.4.3[1]/ 2024年3月6日 (11か月前) (2024-03-06)影響を受けた言語Coq, (Ep...
『ガウス整数論』Disquisitiones Arithmeticae初版の表紙。原著はラテン語で書かれている。著者カール・フリードリヒ・ガウス訳者高瀬正仁(日本語版)発行日1801年(原書)1995...
『ガウス整数論』Disquisitiones Arithmeticae初版の表紙。原著はラテン語で書かれている。著者カール・フリードリヒ・ガウス訳者高瀬正仁(日本語版)発行日1801年(原書)1995...
< 前の結果 | 次の結果 >