符号情報利用による数値数式CADの効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 屋並 仁史

  (株)富士通研究所

関連論文

• 数式処理を用いた制御系設計支援ツールの開発
• Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications)
• QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 3次元モデルの自動分解手法(魅惑の形状処理, 魅惑のCG応用およびCG一般)
• 数式処理を用いた設計技術 (特集 研究開発最前線)
• 数値数式CADの実装
• 項置換による限定子除去アルゴリズムにおける論理式簡略化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications)
• Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
• A MATLAB Toolbox for Parametric Robust Control System Design based on symbolic computation (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 数値数式QE/CADの実装
• CASA 2003 参加報告
• CADにおけるi-projection operator導入によるQEの効率化 (第19回日本数式処理学会大会報告)
• CADにおける i-projection operator 導入によるQEの効率化
• 最適化問題に対するCADの効率的な手法 (第20回日本数式処理学会大会報告)
• 符号情報利用による数値数式 CAD の効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 数値数式手法による多目的最適化 (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)
• 最適化問題に対するCADの効率的な手法
• 符号情報利用による数値数式CADの効率的な実装 (Computer Algebra : Design of Algorithms, Implementations and Applications : RIMS研究集会報告集)

もっと見る 閉じる

スポンサーリンク