制約ベース型初期設計支援システム (数式処理における理論と応用の研究)
スポンサーリンク
概要
著者
関連論文
- IMACS-ACA'98
- 新たな条件式の導入による多変数連立代数方程式の解法
- 制約ベース型初期設計支援システム
- 制約ベース型初期設計支援システム (数式処理における理論と応用の研究)
- 3ZC-8 汎用的過少制約評価技術に基づく機械設計支援システム(曲面と設計,一般講演,インタフェース)
- 数式処理的手法に基づく過少代数制約問題の数値解法
- 制約評価技術に基づく初期設計支援システムの開発 (数式処理における理論と応用の研究)
- 初期設計支援システムの機能概要と課題
- 過小代数制約評価系とその機械設計への応用(数式処理における理論と応用の研究)
- 過小代数制約問題における矛盾の簡易検出法
- 代数不等式制約評価アルゴリズム
- 一変数方程式導出計算の効率向上に関する考察
- 多変数連立代数不等式の解法
- 不等式制約をともなう多変数連立代数方程式のグレブナ基底による解法