山本 航 | 法政大学工学部
スポンサーリンク
概要
関連著者
-
宮本 健司
法政大学工学部
-
関川 浩
日本電信電話株式会社 NTTコミュニケーション科学基礎研究所
-
関川 浩
NTTコミュニケーション科学基礎研究所
-
山本 航
法政大学工学部
-
白柳 潔
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
白柳 潔
東海大学理学部
-
関川 浩[他]
日本電信電話株式会社,NTTコミュニケーション科学基礎研究所
著作論文
- 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)