SyNRAC : A Maple package for solving real algebraic constraints (Computer Algebra : Design of Algorithms, Implementations and Applications)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 屋並 仁史

  株式会社富士通研究所

• 屋並 仁史

  (株)富士通研究所 Crest Jst

関連論文

• 数式処理を用いた制御系設計支援ツールの開発
• 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)
• 数値数式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年

もっと見る 閉じる

スポンサーリンク