SYNRAC 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 Standard Articles 2 Publications describing the Software, including 2 Publications in zbMATH Year SyNRAC: a toolbox for solving real algebraic constraints. Zbl 1437.13005Iwane, Hidenao; Yanami, Hitoshi; Anai, Hirokazu 2014 SYNRAC: A Maple-package for solving real algebraic constraints. Zbl 1033.68960Anai, Hirokazu; Yanami, Hitoshi 2003 all top 5 Cited by 40 Authors 9 Anai, Hirokazu 8 Yanami, Hitoshi 5 Iwane, Hidenao 4 Hong, Hoon 3 Dongarra, Jack J. 3 Fukasaku, Ryoya 3 Sato, Yosuke 3 Sloot, Peter M. A. 2 Hara, Shinji 2 Kitamoto, Takuya 2 van Albada, Geert Dick 1 Abramson, David 1 Alexandrov, Vassil N. 1 Bogdanov, Alexander V. 1 Brown, Christopher W. 1 Caillaud, Benoît 1 de Wolff, Timo 1 Delahaye, Benoît 1 Dressler, Mareike 1 Eraşcu, Mădălina 1 Gorbachev, Yuriy E. 1 Hong, Myunghoon 1 Hyodo, Noriko 1 Ichihara, Hiroyuki 1 Iliman, Sadik 1 Larsen, Kim Guldstrand 1 Legay, Axel 1 Mou, Chenqi 1 Niu, Wei 1 Pedersen, Mikkel Lykke 1 Safey El Din, Mohab 1 Shi, Jian 1 Sturm, Thomas 1 Sunderam, Vaidy S. 1 Tang, Xiaoxian 1 Wąsowski, Andrzej 1 Xia, Bican 1 Yamaguchi, Tetsu 1 Yap, Chee-Keng 1 Zomaya, Albert Y. all top 5 Cited in 9 Serials 4 Journal of Symbolic Computation 4 Lecture Notes in Computer Science 2 Mathematics in Computer Science 1 International Journal of Control 1 Applied Mathematics and Computation 1 Theoretical Computer Science 1 Applicable Algebra in Engineering, Communication and Computing 1 ACM Communications in Computer Algebra 1 Journal of Math-for-Industry all top 5 Cited in 19 Fields 22 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 5 Numerical analysis (65-XX) 4 General and overarching topics; collections (00-XX) 4 Algebraic geometry (14-XX) 4 Systems theory; control (93-XX) 3 Commutative algebra (13-XX) 3 Operations research, mathematical programming (90-XX) 2 Field theory and polynomials (12-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Dynamical systems and ergodic theory (37-XX) 1 Combinatorics (05-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) Citations by Year