陳 凌鈞 | 日本大学理工学部
スポンサーリンク
概要
関連著者
-
村尾 裕一
電気通信大学
-
小林 英恒
日本大学理工学部数学科
-
鈴木 秀男
能力開発総合大学校東京校情報技術科
-
陳 凌鈞
日本大学理工学部
-
村尾 裕一
東大 大型計算機セ
-
小林 英恒
日本大学理工学部
-
栗野 俊一
日本大学理工学部数学科
-
鈴木 秀男
職業能力開発総合大学校東京校
-
鈴木 秀男
東京能力開発大学校
-
栗野 俊一
日本大学理工学部
著作論文
- A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
- "Ring Story"再考 : トレンド,エヴォリューション,そして計画