「計算機援用証明」を解説文に含む見出し語の検索結果(241～250/453件中)
エルブランの定理（英: Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である[1]。エルブランの定理は様々な表現方法が...
エルブランの定理（英: Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である[1]。エルブランの定理は様々な表現方法が...
バビロニアの粘土板 YBC 7289 2の平方根の近似値は六十進法で4桁、十進法では約6桁に相当する。1 + 24/60 + 51/602 + 10/603 = 1.41421296... [1]。(...
バビロニアの粘土板 YBC 7289 2の平方根の近似値は六十進法で4桁、十進法では約6桁に相当する。1 + 24/60 + 51/602 + 10/603 = 1.41421296... [1]。(...
二次方程式の解の公式代数学（だいすうがく、algebra）は、数学の一分野で、数の代わりに文字を用いて方程式の解法などを研究する学問[1]。現代の代数学はその研究範囲を大きく広げ、半群...
二次方程式の解の公式代数学（だいすうがく、algebra）は、数学の一分野で、数の代わりに文字を用いて方程式の解法などを研究する学問[1]。現代の代数学はその研究範囲を大きく広げ、半群...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
国際数学者会議（こくさいすうがくしゃかいぎ、英: International Congress of Mathematicians.、ICM）は、数学界最大の会合であり、4年に一度、国際数学連...
国際数学者会議（こくさいすうがくしゃかいぎ、英: International Congress of Mathematicians.、ICM）は、数学界最大の会合であり、4年に一度、国際数学連...
国際数学連合International Mathematical Union法的地位ドイツ・ベルリンの内国歳入庁から慈善団体として認められた非法人団体目的数学の国際協力の推進所在地.mw-parser...