初等幾何学定理の証明における Regular Chain の有効性の評価

スポンサーリンク

概要

• 論文の詳細を見る
• 2011-03-01

著者

• 溝口 佳寛

  九州大学大学院数理学研究院

• 溝口 佳寛

  九大理

• 溝口 佳寛

  九州大学数理学研究院

• 熊原 啓作

  放送大学教養学部

• 田中 久治

  九州大学数理学府

関連論文

• 暗号化電子メールシステムの現状 (コンピュータセキュリティ)
• インターネットにおけるダウン症データライブラリの運営と展開
• 6I4-23 理系離れ防止対策を試みとした高校生向け数理セミナー : NPO法人数理の翼が試みた数理科学啓発セミナー(教育実践・科学授業開発(4))
• 19pXE-8 量子セルオートマトンの統計的性質(応用数学,力学,波動,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
• 分割量子セルオートマトンの一般化とその挙動について (計算機科学基礎理論の新展開)
• 初等トポスでのプログラムの公理的意味論(計算アルゴリズムと計算量の基礎理論)
• 遺伝的アルゴリズムの原理と応用
• 初等幾何学定理の証明における Regular Chain の有効性の評価
• Graph Transformation Approach for the Shortest Path Search and Length Calculation

スポンサーリンク