Sciweavers

ICCS
2003
Springer
14 years 19 days 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