数式処理
第１０巻 第１号 ２００３年８月発行 |
| ＜巻頭言＞ | ||
|---|---|---|
| 発表の国際性 | 後藤英一 | 1 |
| ＜特集"Quantifier Elimination"＞ | ||
| Quantifier Elimination - アルゴリズム・実装・応用 - | 穴井宏和 | 3 |
|
An Overview of QEPCAD B: a Tool for Real Quantifier
Elimination and Formula Simplification | Christopher W. Brown | 13 |
| REDLOG -- First-Order Logic for the Masses |
Andreas Dolzmann, Andreas Seidl | 23 |
|
SyNRAC
A new Maple package for supporting Design and Analysis in Engineering |
Hitoshi YanamiYanami, Hirokazu Anai | 34 |
| Parametric Robust Control by Quantifier Elimination |
Hirokazu Anai, Shinji Hara | 41 |
| QE Approach to Common Lyapunov Function Problem |
Thang Viet Nguyen, Yoshihiro Mori, Yasuaki Kuroe | 52 |
| 機械系システム設計への応用 | 沢田浩之 | 63 |
| ＜議事録＞ | ||
| 日本数式処理学会理事会議事録 | 71 | |
| ＜編集後記＞ | ||
| 編集後記 | 72 |
| 総目次に戻る | Topに戻る |
Last Modefied $Jssac: v101.html,v 1.1.1.1 2015/11/18 16:09:27 html Exp $