数値数式QE/CADの実装 (第18回日本数式処理学会大会報告)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 屋並 仁史

  株式会社富士通研究所

関連論文

• 数式処理を用いた制御系設計支援ツールの開発
• QEのための数値数式paritial CADの実装 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 数値数式QE/CADの実装 (第18回日本数式処理学会大会報告)
• 共通鍵ブロック暗号SC2000
• 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)
• SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Linear QE Algorithms and their Implementation on Maple (Computer Algebra : Algorithms, Implementations and Applications)
• SC2000の差分/線形特性探索 (II)
• 数値数式QE/CADの実装
• 可視化の技術と現代幾何学,若山正人編,岩波書店,2010年

もっと見る 閉じる

スポンサーリンク