竹島 卓 | 富士通(株)国際情報社会科学研究所
スポンサーリンク
概要
関連著者
-
竹島 卓
富士通(株)国際情報社会科学研究所
-
竹島 卓
富士通(株)
-
横山 和弘
立教大学理学部数学科
-
横山 和弘
富士通(株)
-
野呂 正行
富士通(株)
-
竹島 卓
富士通国際研究所
-
野呂 正行
株式会社富士通研究所情報社会科学研究所
-
横山 和弘
九州大学数理学研究院
-
横山 和弘
九州大学大学院数理学研究院
-
野呂 正行
神戸大学理学部
-
竹島 卓
富士通株式会社国際情報社会科学研究所
-
横山 和弘
富士通研究所国際情報社会科学研究所
-
竹島 卓
富士通研究所
-
横山 和弘
富士通研究所
-
野呂 正行
富士通国際研究所
-
佐々木 建昭
理化学研究所
-
國藤 進
富士通株式会社国際情報社会科学研究所
-
須永 知之
(株)富士通SSL
-
塚本 有子
(株)富士通SSL
-
井深 克憲
(株)富士通SSL
-
横山 和弘
(株)富士通研究所 コンピュータシステム研究所
著作論文
- 行列の有理標準形の一計算法(数式処理と数学研究への応用)
- modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
- Euclid環上の因数分解およびGCDについて : 格子算法の応用
- グレブナー基底の並列計算と連立代数方程式
- ブール方程式による併存到達可能性解析 (情報の記憶と利用に関する理論的研究)
- 同値律をみたす述語による関係データモデル従属性の一般化について (情報の記憶と利用に関する理論的研究)
- PSI上の数式処理システムSAM