An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification (特集 Quantifier Elimination)

スポンサーリンク

概要

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

著者

• Brown Christopher

  United States Naval Academy

関連論文

• An Overview of QEPCAD B: a Tool for Real Quantifier Elimination and Formula Simplification (特集 Quantifier Elimination)

スポンサーリンク