Computer assisted proofs : numeric and symbolic approaches : spring tutorial seminar : March 5-8, 2005, Faculty of Mathematics, Kyushu University

著者

• 中尾, 充宏 ナカオ, ミツヒロ
• 横山, 和弘 ヨコヤマ, カズヒロ

書誌事項

Computer assisted proofs : numeric and symbolic approaches : spring tutorial seminar : March 5-8, 2005, Faculty of Mathematics, Kyushu University

edited by M.T. Nakao and K. Yokoyama

（COE lecture note : Kyushu University）

九州大学大学院数理学研究院21世紀COEプログラム「機能数理学の構築と展開」, 2006

注記

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA78258883
• 出版国コード: ja
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: 福岡
• ページ数/冊数: 199 p.
• 大きさ: 26 cm
• 親書誌ID:
  • BA78248427