Sciweavers

ICCS
2003
Springer
13 years 10 months ago
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints
: We present a maple-package SyNRAC for solving real algebraic constraints aiming to realize a robust parametric control toolbox on MATLAB. Our main tool is real quantifier elimin...
Hirokazu Anai, Hitoshi Yanami