多項式制約間の矛盾検出法

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数式処理学会の論文
• 2003-04-01

著者

• 沢田 浩之

  産業技術総合研究所

関連論文

• MZ Platform : 工学アプリケーション開発実行システム
• 未定パラメータを含む常微分方程式の取り扱いについて : 動力学的設計問題への応用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• CASC 2003
• 機械系システム設計への応用
• 多項式制約間の矛盾検出法
• ACA'2002
• グレブナ基底計算を効率的に行うための項順序自動設定法
• グレブナ基底計算を効率的に行うための項順序自動設定法 (Computer Algebra : Algorithms, Implementations and Applications)

スポンサーリンク