頂点作用素代数研究の計算機による証明支援

• 横山, 和弘

書誌事項

タイトル別名

• チョウテン サヨウソ ダイスウ ケンキュウ ノ ケイサンキ ニ ヨル ショウメイ シエン

収録刊行物

• 数理解析研究所講究録

  数理解析研究所講究録 1335 111-118, 2003-07

  京都大学数理解析研究所

詳細情報

• CRID: 1050564285473839360
• NII論文ID: 110000167568
• NII書誌ID: AN00061013
• ISSN: 18802818
• HANDLE: 2433/43346
• NDL書誌ID: 6697992
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6697992
• 本文言語コード: ja
• 資料種別: departmental bulletin paper
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles