式変形支援システムの作成 (Computer Algebra : Design of Algorithms, Implementations and Applications)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 元吉 文男

  独立行政法人 産業技術総合研究所

• 元吉 文男

  独立行政法人産業技術総合研究所

関連論文

• 論理式の置換と選言標準形への変形による論理プログラムの計算手続き
• 式変形支援システムの作成 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• HTMLによる数式表示 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• ENVIRONMENT PROBLEMS IN FORMULA MANIPULATION SYSTEMS(Computer Algebra and its Applications to Mathematical Studies)

スポンサーリンク