| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 426343 | Future Generation Computer Systems | 2007 | 6 Pages |
Abstract
We have been developing a toolbox on Maple, called SyNRAC, for solving real algebraic constraints derived from various engineering problems. Its main tools are real quantifier elimination and the simplification of quantifier-free formulas. We illustrate algorithms implemented in SyNRAC, give some examples of how its commands are used, and present its application to design problems in systems and control theory.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Hitoshi Yanami, Hirokazu Anai,