Boole値設計論
スポンサーリンク
概要
- 論文の詳細を見る
- 2001-09-01
著者
関連論文
- IdealのSaturationの問題について (ブール代数値の解析学と超準解析)
- 抽象設計論に基づいたソフトウェア設計に関する研究
- ブーリアングレブナ基底を使った数独の解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 行列を使ったグレブナー基底計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- パラメーターを含む多項式剰余環における逆元の計算について
- Risa/Asir CGB 関連パッケージの整備(数式処理研究の新たな発展)
- グレブナー基底を用いた包括グレブナー基底計算 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
- Discrete Comprehensive Grobner Basesの改良版について
- 媒介変数を係数に含む多項式に対するGrobner basesについて (Computer Algebra : Algorithms, Implementations and Applications)
- Comprehensive Grobner basesとVon Neumann regular ring上の多項式環におけるGrobner basesの関係について
- モバイルデバイスにおけるグラフ描画およびユーザインタフェース
- CGSの canonical form に向けての考察
- CGS のcanonical form に向けて(数式処理研究の新たな発展)
- グレブナー基底を用いた包括的グレブナー基底計算
- Boole値設計論
- 逆問題としての設計論と創発的計算法の適用
- (2) 抽象設計論 : 設計の数理的基礎付け
- 抽象設計論の提言
- 規範的教育論の設計モデル
- 2303 抽象設計論による創発的階層構造の表現
- 設計と情報の流れ
- Reflection Principles via Filter Quantifier
- Quantifier"aa"を持つSystem STの完全性定理 (Boole代数値の解析学と超準解析)
- 正規イデアルのPrecipitousnessを保持するCohen拡大の一条件について (数学基礎論)
- 最近の集合論