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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Anai, H., & Yanami, H. (2003). SyNRAC: A maple-package for solving real algebraic constraints. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2657, 828–837. https://doi.org/10.1007/3-540-44860-8_86
Mendeley helps you to discover research relevant for your work.