ブール方程式による併存到達可能性解析 (情報の記憶と利用に関する理論的研究)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 竹島 卓

  富士通(株)国際情報社会科学研究所

• 國藤 進

  富士通株式会社国際情報社会科学研究所

• 竹島 卓

  富士通株式会社国際情報社会科学研究所

関連論文

• 行列の有理標準形の一計算法(数式処理と数学研究への応用)
• modular 算法による多項式GCD計算について(数式処理と数学研究への応用)
• Euclid環上の因数分解およびGCDについて : 格子算法の応用
• グレブナー基底の並列計算と連立代数方程式
• ブール方程式による併存到達可能性解析 (情報の記憶と利用に関する理論的研究)
• 同値律をみたす述語による関係データモデル従属性の一般化について (情報の記憶と利用に関する理論的研究)
• PSI上の数式処理システムSAM

スポンサーリンク