初等幾何学定理の証明におけるRegular Chainの有効性の評価 (第19回日本数式処理学会大会報告)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数式処理学会の論文

日本数式処理学会 | 論文

• QEに基づく発電機励磁制御系設計
• 数式処理を用いた制御系設計支援ツールの開発
• 行列積アルゴリズムに強く依存した行列のデータ構造の実装
• Risa/Asir の Matrix 演算の実装について
• 数学記号の認知速度 : 実験心理学的計測方法と実例

もっと見る

スポンサーリンク