1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 1.講究録
  4. 1843 Computer Algebra : The Algorithms, Implementations and the Next Generation
ダウンロード数: 287

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/195013
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1843-04.pdf715.47 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author佐藤, 裕介ja
dc.contributor.author井上, 秀太郎ja
dc.contributor.author佐藤, 洋祐ja
dc.contributor.alternativeSato, Yusukeen
dc.contributor.alternativeInoue, Shutaroen
dc.contributor.alternativeSato, Yosukeen
dc.contributor.transcriptionサトウ, ユウスケja
dc.contributor.transcriptionイノウエ, シュウタロウja
dc.contributor.transcriptionサトウ, ヨウスケja
dc.date.accessioned2015-03-03T05:46:34Z-
dc.date.available2015-03-03T05:46:34Z-
dc.date.issued2013-07-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/195013-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.title数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)ja
dc.title.transcriptionスウドク ノ ナンイド ハンテイ ノ タメ ノ ブーリアン グレブナー キテイ ノ ヘイレツ ケイサン ニツイテ スウシキ ショリ ソノ ケンキュウ ト メザス モノja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1843-
dc.identifier.spage28-
dc.identifier.epage37-
dc.textversionpublisher-
dc.sortkey04-
dc.address東京理科大学大学院理学研究科数理情報科学専攻ja
dc.address東京理科大学理学部数理情報科学科ja
dc.address東京理科大学理学部数理情報科学科ja
dc.address.alternativeDepartment of Mathematical Information Science, Graduate School of Science, Tokyo University of Scienceen
dc.address.alternativeDepartment of Mathematical Information Science, Tokyo University of Scienceen
dc.address.alternativeDepartment of Mathematical Information Science, Tokyo University of Scienceen
dcterms.accessRightsopen access-
出現コレクション:1843 Computer Algebra : The Algorithms, Implementations and the Next Generation

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。