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

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 日本応用数理学会の論文
• 1995-09-15

著者

• 山本 修身

  名城大学理工学部情報工学科

• 山本 修身

  株式会社 管理工学研究所

関連論文

• グラフィックスハードウェアを用いたDelaunay三角形分割の高速計算
• グラフィックスハードウェアを用いた平面および球面上のボロノイ図の描画について
• TD-1-3 グラフィックスハードウェアを用いた一般化ボロノイ図の高速描画
• 多項式の微分係数情報を付加した零点不在領域とNewton法
• 代数的数の複雑さと初等幾何学の定理証明への応用

スポンサーリンク