COSMOS: A Conversational Algebraic System

スポンサーリンク

概要

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

著者

• 永田 守男

  Faculty Of Science And Technology Keio University

• 柴山 誠

  慶應大学理工学部

関連論文

• Model theory and programing language(Computer Algebra and its Applications to Mathematical Studies)
• Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics
• 偏微分方程式に関する問題解決のため数式処理と数値計算を組み合わせたシステム(数式処理と数学研究への応用)
• COSMOS: A Conversational Algebraic System

スポンサーリンク