swMATH ID: 942
Software Authors: Anai, Hirokazu; Yanami, Hitoshi
Description: 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.
Homepage: http://www.springerlink.com/content/37cq4lw9am3tydv4/fulltext.pdf
Dependencies: Maple
Related Software: Maple; QEPCAD; REDLOG; Mathematica; DISCOVERER; Sostools; SMT-RAT; RAGlib; Matlab; GloptiPoly; SparsePOP; MathSAT5; CVC4; veriT; z3; Yices; SMT-LIB; CGSQE; REDUCE; CoCoA
Cited in: 27 Publications

Citations by Year