Risa/AsirによるEuclid幾何定理証明プログラムの実装

• 荒井 千里

• 森継 修一

Bibliographic Information

Other Title

• Risa Asir ニ ヨル Euclid キカ テイリ ショウメイ プログラム ノ ジッソウ
• 大会報告 第15回日本数式処理学会大会報告
• タイカイ ホウコク ダイ15カイ ニホン スウシキ ショリ ガッカイ タイカイ ホウコク

Journal

• 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation

  数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation 13 (1), 54-57, 2006-12

  東京 : 日本数式処理学会

Details

• CRID: 1520009407466650880
• NII Article ID: 10018448613
• NII Book ID: AN10403984
• ISSN: 09191410
• NDL BIB ID: 8622083
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8622083
• Text Lang: ja
• NDL Source Classification:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• Data Source:
  • NDL
  • CiNii Articles