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

Bibliographic Information

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

Search this article

Journal

References(3)*help

See more

Details

Report a problem

Back to top