代数的数の複雑さと初等幾何学の定理証明への応用

書誌事項

タイトル別名
  • Complexity of Algebraic Number and Its Application to Proofs in Elementary Geometry

この論文をさがす

抄録

In this paper we define the complexity of rational numbers and the complexity of the elements of an algebraic field extended by an algebraic number, and we analyze the upper bounds of the complexity of numbers that are generated by arithmetical operations. Using the result, we can judge whether a result of arithmetical operations is equal to 0 by numerical calculations. Moreover this fact can be applied to prove some theorems in elementary geometry automatically.

収録刊行物

参考文献 (11)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1390001205768198400
  • NII論文ID
    110001883597
  • NII書誌ID
    AN10367166
  • DOI
    10.11540/jsiamt.5.3_199
  • ISSN
    24240982
  • 本文言語コード
    ja
  • データソース種別
    • JaLC
    • CiNii Articles
  • 抄録ライセンスフラグ
    使用不可

問題の指摘

ページトップへ