-
- 山本 修身
- 株式会社 管理工学研究所
書誌事項
- タイトル別名
-
- 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.
収録刊行物
-
- 日本応用数理学会論文誌
-
日本応用数理学会論文誌 5 (3), 199-214, 1995
一般社団法人 日本応用数理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205768198400
-
- NII論文ID
- 110001883597
-
- NII書誌ID
- AN10367166
-
- ISSN
- 24240982
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可