鈴木 秀男 | 職業能力開発総合大学校東京校
スポンサーリンク
概要
関連著者
-
鈴木 秀男
職業能力開発総合大学校東京校
-
鈴木 秀男
能力開発総合大学校東京校情報技術科
-
小林 英恒
日本大学理工学部数学科
-
小林 英恒
日本大学理工学部
-
村尾 裕一
電気通信大学
-
村尾 裕一
東大 大型計算機セ
-
三島 健稔
埼玉大学工学部情報システム工学科
-
栗野 俊一
日本大学理工学部数学科
-
黒坂 翔一
株式会社創夢
-
舩戸 正和
東京理科大
-
三島 健稔
埼玉大学工業部情報システム工学科
-
小野 陽子
島根県立大学
-
陳 凌鈞
日本大学理工学部
-
村尾 裕一
電気通信大学電気通信学部情報工学科
-
小野 陽子
新潟国際情報大学
-
栗野 俊一
日本大学理工学部
著作論文
- 4B-3 ホモトピー法のパラメータに一次分数変換を適用したホモトピーパスの視覚化(最適化問題,一般セッション,ソフトウェア科学・工学)
- 証明データベースの実装について
- 1M-1 ホモトピー法への一次分数変換の適用法について
- Formalization of the valuation theory (Algebra, Languages and Computation)
- ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
- A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
- A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
- 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について