SyNRAC: A Maple-Package for Solving Real Algebraic Constraints

摘要

In this paper we present a maple-package, named SyNRAC, for solving real algebraic constraints derived from various engineering problems. Our main tool is real quantifier elimination and we focus on its application to robust control design problems.