A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)

ダウンロード数: 160

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

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

ファイル	記述	サイズ	フォーマット
1295_06.pdf		740.34 kB	Adobe PDF	見る/開く

タイトル:	A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
著者:	陳, 凌鈞小林, 英恒村尾, 裕一鈴木, 秀男
著者名の別形:	Chen, Lingjun Kobayashi, Hidetsune Murao, Hirokazu Suzuki, Hideo
発行日:	Nov-2002
出版者:	京都大学数理解析研究所
誌名:	数理解析研究所講究録
巻:	1295
開始ページ:	42
終了ページ:	50
URI:	http://hdl.handle.net/2433/42596
出現コレクション:	1295 Computer Algebra : Algorithms, Implementations and Applications

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