包括的グレブナ基底系を利用した限量子消去 (数式処理とその周辺分野の研究)

深作, 亮也; 岩根, 秀直; 佐藤, 洋祐

このアイテムのアクセス数: 85

http://hdl.handle.net/2433/224035

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1955-14.pdf		612.46 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	深作, 亮也	ja
dc.contributor.author	岩根, 秀直	ja
dc.contributor.author	佐藤, 洋祐	ja
dc.contributor.alternative	Fukasaku, Ryoya	en
dc.contributor.alternative	Iwane, Hidenao	en
dc.contributor.alternative	Sato, Yosuke	en
dc.contributor.transcription	フカサク, リョウヤ	ja
dc.contributor.transcription	イワネ, ヒデナオ	ja
dc.contributor.transcription	サトウ, ヨウスケ	ja
dc.date.accessioned	2017-04-27T06:38:59Z	-
dc.date.available	2017-04-27T06:38:59Z	-
dc.date.issued	2015-07	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/224035	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	包括的グレブナ基底系を利用した限量子消去 (数式処理とその周辺分野の研究)	ja
dc.title.alternative	Quantifier Elimination by using Comprehensive Grobner Systems (Computer Algebra and Related Topics)	en
dc.title.transcription	ホウカツテキグレブナキテイケイオリヨウシタゲンリョウシショウキョスウシキショリトソノシュウヘンブンヤノケンキュウ	ja-Kana
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1955	-
dc.identifier.spage	134	-
dc.identifier.epage	141	-
dc.textversion	publisher	-
dc.identifier.artnum	KJ00009918632	-
dc.sortkey	14	-
dc.address	東京理科大学理学研究科	ja
dc.address	国立情報学研究所	ja
dc.address	東京理科大学理学部	ja
dc.address.alternative	Tokyo University of Science	en
dc.address.alternative	National Institute of Informatics	en
dc.address.alternative	Tokyo University of Science	en
dcterms.accessRights	open access	-
出現コレクション:	1955 数式処理とその周辺分野の研究

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

Export to RefWorks

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