Formalized Mathematics, Proof Animation, and Limit Computable Mathematics (Relevance and Feasibility of Mathematical Analysis on the Computer)

スポンサーリンク

概要

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

著者

• 林 晋

  神戸大学工学部

関連論文

• ソフトウェア開発法の新傾向
• Formalized Mathematics, Proof Animation, and Limit Computable Mathematics (Relevance and Feasibility of Mathematical Analysis on the Computer)
• 証明アニメーション支援環境の構築
• Constructive mathematics and program synthesis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
• 構成的数学とプログラム合成(数学基礎論)
• 「複雑系科学の哲学に不足しているもの」に対するコメント新システム論の視座-関係性と多様性の回復を求めて-(その1)

スポンサーリンク